The family approach to total cocompleteness and toposes
HTML articles powered by AMS MathViewer
- by Ross Street PDF
- Trans. Amer. Math. Soc. 284 (1984), 355-369 Request permission
Abstract:
A category with small homsets is called total when its Yoneda embedding has a left adjoint; when the left adjoint preserves pullbacks, the category is called lex total. Total categories are characterized in this paper in terms of special limits and colimits which exist therein, and lex-total categories are distinguished as those which satisfy further exactness conditions. The limits involved are finite limits and intersections of all families of subobjects. The colimits are quotients of certain relations (called congruences) on families of objects (not just single objects). Just as an arrow leads to an equivalence relation on its source, a family of arrows into a given object leads to a congruence on the family of sources; in the lex-total case all congruences arise in this way and their quotients are stable under pullback. The connection with toposes is examined.References
- Théorie des topos et cohomologie étale des schémas. Tome 2, Lecture Notes in Mathematics, Vol. 270, Springer-Verlag, Berlin-New York, 1972 (French). Séminaire de Géométrie Algébrique du Bois-Marie 1963–1964 (SGA 4); Dirigé par M. Artin, A. Grothendieck et J. L. Verdier. Avec la collaboration de N. Bourbaki, P. Deligne et B. Saint-Donat. MR 0354653 M. Barr, Exact categories, Lecture Notes in Math., vol. 236, Springer-Verlag, Berlin and New York, 1971, pp. 1-120.
- Renato Betti, Aurelio Carboni, Ross Street, and Robert Walters, Variation through enrichment, J. Pure Appl. Algebra 29 (1983), no. 2, 109–127. MR 707614, DOI 10.1016/0022-4049(83)90100-7
- A. Carboni and R. Celia Magno, The free exact category on a left exact one, J. Austral. Math. Soc. Ser. A 33 (1982), no. 3, 295–301. MR 678508
- G. M. Kelly, Monomorphisms, epimorphisms, and pull-backs, J. Austral. Math. Soc. 9 (1969), 124–142. MR 0240161
- Ross Street, Notions of topos, Bull. Austral. Math. Soc. 23 (1981), no. 2, 199–208. MR 617062, DOI 10.1017/S000497270000705X
- Ross Street, Cauchy characterization of enriched categories, Rend. Sem. Mat. Fis. Milano 51 (1981), 217–233 (1983) (English, with Italian summary). MR 708046, DOI 10.1007/BF02924823
- Ross Street and Robert Walters, Yoneda structures on 2-categories, J. Algebra 50 (1978), no. 2, 350–379. MR 463261, DOI 10.1016/0021-8693(78)90160-6
- Rosanna Succi Cruciani, La teoria delle relazioni nello studio di categorie regolari e di categorie esatte, Riv. Mat. Univ. Parma (4) 1 (1975), 143–158. MR 442058
- Walter Tholen, Note on total categories, Bull. Austral. Math. Soc. 21 (1980), no. 2, 169–173. MR 574836, DOI 10.1017/S0004972700005992
- R. F. C. Walters, Sheaves on sites as Cauchy-complete categories, J. Pure Appl. Algebra 24 (1982), no. 1, 95–102. MR 647583, DOI 10.1016/0022-4049(82)90061-5
- R. J. Wood, Some remarks on total categories, J. Algebra 75 (1982), no. 2, 538–545. MR 653907, DOI 10.1016/0021-8693(82)90055-2
Additional Information
- © Copyright 1984 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 284 (1984), 355-369
- MSC: Primary 18B25; Secondary 18A30, 18A32, 18A35, 18F10, 18F20
- DOI: https://doi.org/10.1090/S0002-9947-1984-0742429-3
- MathSciNet review: 742429