Cosmoi of internal categories

Street, Ross

doi:10.1090/S0002-9947-1980-0558176-3

Cosmoi of internal categories
HTML articles powered by AMS MathViewer

by Ross Street PDF

Trans. Amer. Math. Soc. 258 (1980), 271-318 Request permission

Abstract:

An internal full subcategory of a cartesian closed category $\mathcal {A}$, is shown to give rise to a structure on the 2-category $Cat(\mathcal {A})$ of categories in $\mathcal {A}$ which introduces the notion of size into the analysis of categories in $\mathcal {A}$ and allows proofs by transcendental arguments. The relationship to the currently popular study of locally internal categories is examined. Internal full subcategories of locally presentable categories (in the sense of Gabriel-Ulmer) are studied in detail. An algorithm is developed for their construction and this is applied to the categories of double categories, triple categories, and so on.

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
Andrée Bastiani and Charles Ehresmann, Categories of sketched structures, Cahiers Topologie Géom. Différentielle 13 (1972), 105–214. MR 323856

Théories relatives à un corpus

281

Jean Benabou, Fibrations petites et localement petites, C. R. Acad. Sci. Paris Sér. A-B 281 (1975), no. 21, Ai, A897–A900 (French, with English summary). MR 393181

Fibrations et extensions de Kan

Brian Day, A reflection theorem for closed categories, J. Pure Appl. Algebra 2 (1972), no. 1, 1–11. MR 296126, DOI 10.1016/0022-4049(72)90021-7
Brian Day, Limit spaces and closed span categories, Category Seminar (Proc. Sem., Sydney, 1972/1973) Lecture Notes in Math., Vol. 420, Springer, Berlin, 1974, pp. 65–74. MR 0374240
Radu Diaconescu, Change of base for toposes with generators, J. Pure Appl. Algebra 6 (1975), no. 3, 191–218. MR 379627, DOI 10.1016/0022-4049(75)90015-8
Eduardo Dubuc, Adjoint triangles, Reports of the Midwest Category Seminar, II, Springer, Berlin, 1968, pp. 69–91. MR 0233864
Samuel Eilenberg and G. Max Kelly, Closed categories, Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965) Springer, New York, 1966, pp. 421–562. MR 0225841

Abelian categories

Peter Freyd, Aspect of topoi, Bull. Austral. Math. Soc. 7 (1972), 1–76. MR 396714, DOI 10.1017/S0004972700044828
P. J. Freyd and G. M. Kelly, Categories of continuous functors. I, J. Pure Appl. Algebra 2 (1972), 169–191. MR 322004, DOI 10.1016/0022-4049(72)90001-1
P. Gabriel and M. Zisman, Calculus of fractions and homotopy theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 35, Springer-Verlag New York, Inc., New York, 1967. MR 0210125
Peter Gabriel and Friedrich Ulmer, Lokal präsentierbare Kategorien, Lecture Notes in Mathematics, Vol. 221, Springer-Verlag, Berlin-New York, 1971 (German). MR 0327863
Jean Giraud, Cohomologie non abélienne, Die Grundlehren der mathematischen Wissenschaften, Band 179, Springer-Verlag, Berlin-New York, 1971 (French). MR 0344253
John W. Gray, The categorical comprehension scheme, Category Theory, Homology Theory and their Applications, III (Battelle Institute Conference, Seattle, Wash., 1968, Vol. Three), Springer, Berlin, 1969, pp. 242–312. MR 0249483
P. T. Johnstone, Topos theory, London Mathematical Society Monographs, Vol. 10, Academic Press [Harcourt Brace Jovanovich, Publishers], London-New York, 1977. MR 0470019
G. M. Kelly and Ross Street, Review of the elements of $2$-categories, Category Seminar (Proc. Sem., Sydney, 1972/1973) Lecture Notes in Math., Vol. 420, Springer, Berlin, 1974, pp. 75–103. MR 0357542

Closed categories of variable quantities over a base topos

23

Saunders MacLane, Categories for the working mathematician, Graduate Texts in Mathematics, Vol. 5, Springer-Verlag, New York-Berlin, 1971. MR 0354798
Robert Paré and Dietmar Schumacher, Abstract families and the adjoint functor theorems, Indexed categories and their applications, Lecture Notes in Math., vol. 661, Springer, Berlin, 1978, pp. 1–125. MR 514193
Jacques Penon, Quasi-topos, C. R. Acad. Sci. Paris Sér. A-B 276 (1973), A237–A240 (French). MR 332921
Jacques Penon, Catégories localement internes, C. R. Acad. Sci. Paris Sér. A 278 (1974), 1577–1580 (French). MR 374235
Ross Street, The formal theory of monads, J. Pure Appl. Algebra 2 (1972), no. 2, 149–168. MR 299653, DOI 10.1016/0022-4049(72)90019-9
Ross Street, Two constructions on lax functors, Cahiers Topologie Géom. Différentielle 13 (1972), 217–264. MR 347936
Ross Street, Fibrations and Yoneda’s lemma in a $2$-category, Category Seminar (Proc. Sem., Sydney, 1972/1973) Lecture Notes in Math., Vol. 420, Springer, Berlin, 1974, pp. 104–133. MR 0396723
Ross Street, Elementary cosmoi. I, Category Seminar (Proc. Sem., Sydney, 1972/1973) Lecture Notes in Math., Vol. 420, Springer, Berlin, 1974, pp. 134–180. MR 0354813
Ross Street, Limits indexed by category-valued $2$-functors, J. Pure Appl. Algebra 8 (1976), no. 2, 149–181. MR 401868, DOI 10.1016/0022-4049(76)90013-X
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
Ross Street and R. F. C. Walters, The comprehensive factorization of a functor, Bull. Amer. Math. Soc. 79 (1973), 936–941. MR 346027, DOI 10.1090/S0002-9904-1973-13268-9

Indicial methods for relative categories