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
topReferences
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