Geodesic
Simply Connected Limits
Canadian journal of mathematics, Tome 42 (1990) no. 4, pp. 731-746

Voir la notice de l'article provenant de la source Cambridge University Press

The importance of finite limits in completeness conditions has been long recognized. One has only to consider elementary toposes, pretoposes, exact categories, etc., to realize their ubiquity. However, often pullbacks suffice and in a sense are more natural. For example it is pullbacks that are the essential ingredient in composition of spans, partial morphisms and relations. In fact the original definition of elementary topos was based on the notion of partial morphism classifier which involved only pullbacks (see [6]). Many constructions in topos theory, involving left exact functors, such as coalgebras on a cotriple and the gluing construction, also work for pullback preserving functors. And pullback preserving functors occur naturally in the subject, e.g. constant functors and the Σα. These observations led Rosebrugh and Wood to introduce partial geometric morphisms; functors with a pullback preserving left adjoint [9]. Other reasons led Kennison independently to introduce the same concept under the name semi-geometric functors [5].
DOI : 10.4153/CJM-1990-038-6
Mots-clés : 18A30, 18B40, 55Q05 
Paré, Robert. Simply Connected Limits. Canadian journal of mathematics, Tome 42 (1990) no. 4, pp. 731-746. doi: 10.4153/CJM-1990-038-6
@article{10_4153_CJM_1990_038_6,
     author = {Par\'e, Robert},
     title = {Simply {Connected} {Limits}},
     journal = {Canadian journal of mathematics},
     pages = {731--746},
     year = {1990},
     volume = {42},
     number = {4},
     doi = {10.4153/CJM-1990-038-6},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1990-038-6/}
}
TY  - JOUR
AU  - Paré, Robert
TI  - Simply Connected Limits
JO  - Canadian journal of mathematics
PY  - 1990
SP  - 731
EP  - 746
VL  - 42
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1990-038-6/
DO  - 10.4153/CJM-1990-038-6
ID  - 10_4153_CJM_1990_038_6
ER  - 
%0 Journal Article
%A Paré, Robert
%T Simply Connected Limits
%J Canadian journal of mathematics
%D 1990
%P 731-746
%V 42
%N 4
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1990-038-6/
%R 10.4153/CJM-1990-038-6
%F 10_4153_CJM_1990_038_6

[1] 1. Bénabou, J., Introduction to bicategories, Lecture Notes in Math., no. 47 (1967), 1–77. Springer- Verlag. Google Scholar

[2] 2. Gabriel, P. and Ulmer, F., Lokal präsentierbare Kategorien, (Lecture Notes in Math., no. 221, Springer- Verlag, 1971). Google Scholar

[3] 3. Kan, D.M., Adjoint functors, Trans. Amer. Math. Soc, 87 (1958), 294–329. Google Scholar

[4] 4. Kelly, G.M. and Paré, R., A note on the Albert-Kelly paper “The closure of a class ofcolimits”,, J. Pure Appl. Algebra 57 (1988), 19–25. Google Scholar

[5] 5. Kennison, J., Semi-geometric Functors and Limits of Topoi, preprint. Google Scholar

[6] 6. Kock, A. and Wraith, G., Elementary toposes, (Aarhus Lecture Notes 30 (1971)). Google Scholar

[7] 7. Makkai, M. and Paré, R., Accessible Categories: The Foundations of Categorical Model Theory, (Contemporary Mathematics, vol. 104, AMS, Providence, 1989). Google Scholar

[8] 8. Paré, R., Connected Components and Colimits, J. Pure Appl. Algebra 3 (1973), 21–42. Google Scholar

[9] 9. Rosebrugh, R. and Wood, R., Pullback preserving functors, preprint. Google Scholar

[10] 10. Street, R.H., The comprehensive construction of free colimits, Sydney Category Seminar Reports (Macquarie University, 1979). Google Scholar

Cité par Sources :