Extensions de théories de Lawvere. Thèse de doctorat de mathématiques
Diagrammes (1991)
- Volume: 26, page I1-III90
- ISSN: 0224-3911
Access Full Article
topHow to cite
topMathieu, Monique. "Extensions de théories de Lawvere. Thèse de doctorat de mathématiques." Diagrammes 26 (1991): I1-III90. <http://eudml.org/doc/193039>.
@article{Mathieu1991,
author = {Mathieu, Monique},
journal = {Diagrammes},
keywords = {homomorphisms between theories; finite field extension; categories of algebras; monad; Kleisli category; comonad},
language = {fre},
pages = {I1-III90},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {Extensions de théories de Lawvere. Thèse de doctorat de mathématiques},
url = {http://eudml.org/doc/193039},
volume = {26},
year = {1991},
}
TY - JOUR
AU - Mathieu, Monique
TI - Extensions de théories de Lawvere. Thèse de doctorat de mathématiques
JO - Diagrammes
PY - 1991
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 26
SP - I1
EP - III90
LA - fre
KW - homomorphisms between theories; finite field extension; categories of algebras; monad; Kleisli category; comonad
UR - http://eudml.org/doc/193039
ER -
References
top- L. CoppeyDécomposition dans les catégories, Multigraphié. Paris [ 1977].
- L. CoppeyDécomposition de structures en produits. Esquisses Mathématiques 14, Paris [ 1971 ]. Zbl0371.18001
- Y. DiersType de densité d'une sous-catégorie pleine, Ann. Soc. Sci. Bruxelles 90 [ 1976]. Zbl0318.18005MR396716
- Gh. EhresmannSur les structures algébriques, C.R.A.S., t. 264, pp. 840-843. Paris [ 1967]. Zbl0156.25803MR217140
- P. FreydAlgebra-valued functors in general and tensor produds in particular, Colloq. Math. 14, [ 1966]. Zbl0144.01003MR195920
- C. LairFoncteurs d'omission de structures algébriques, Cah. deTop. et Géom Diff., XII. 2. Paris [ 1971].
- C. LairDualité pour les structures algébriques esquissées, Cah. de Top.et Géom. Diff., XV, 4, Paris [ 1974]. Zbl0365.18013MR390020
- C. LairConditions syntaxiques d'existence de co-adjoints aux foncteurs algébriques. Diagrammes, Volume 1. Paris [ 1979]. Zbl0496.18007MR684434
- F. W. LawvereSome algebraic problems in the context of functorial semantics of algebraic theories. Lecture Notes in Math. 61, Springer [ 1968]. Zbl0204.33802MR231882
- F. LintonAutonomous equational categories. Journal of Math. and Mechanics 15, [ 1966]. Zbl0146.25104MR190205
- S. Mac LaneCategories for the working mathematician. G.T.M. in Math. n° 5, Springer [ 1971 ]. Zbl0232.18001MR354798
- F. UlmerLocalty α -presentable and localty α-generated categories. Lecture Notes in Math. 195, Springer [ 1971]. Zbl0225.18005MR292908
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.