Extensions de theories de lawvere

par Monique Mathieu

Thèse de doctorat en Mathématiques

Sous la direction de Christian Lair.

Soutenue en 1991

à Paris 7 .


  • Pas de résumé disponible.


  • Résumé

    Ce travail aboutit à une theorie des extensions de theories de Lawvere qui est l'analogue de la théorie classique des extensions (de degré fini) de corps ou d'anneaux, et qui d'ailleurs l'englobe. De même qu'il y a deux façons de définir un corps k comme extension d'un corps k (soit comme k-espace vectoriel de dimension finie plus une loi de composition de corps, soit par adjonction de racines vérifiant des équations), de même nous dégageons deux types d'extensions. Si t est une théorie de Lawvere, nous disons que c'est une extension gauche (resp. Droite) de degré r de la théorie t s'il existe un homomorphisme h de t dans t admettant un adjoint à droite (resp. A gauche) en tant que foncteur, cet adjoint étant de plus un homomorphisme de degré r. Nous donnons une définition sémantique équivalente. Si l désigne l'adjoint à gauche de mod(h), la théorie t est extension gauche (resp. Droite) de la théorie t si l'endofoncteur mod (h). L de mod (t) transforme tout modèle de t en produit (resp. Somme) de r de ses copies. Disposant de ces adjonctions sur t, nous utilisons les monades (resp. Comonades) de degré r qu'elles définissent pour démontrer que ces extensions sont leurs catégories de Kleisli qui se trouvent alors être munies canoniquement d'une structure de théorie de Lawvere. Nous terminons en fournissant des exemples de calculs explicites de telles extensions

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (III-92 p.)
  • Annexes : Bibliogr. 12 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1991
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : THESE 04013
  • Bibliothèque : CentraleSupélec. Bibliothèque.
  • Disponible pour le PEB
  • Cote : E3 53512
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.