Transactions of the American Mathematical Society
Published by the American Mathematical Society, the Transactions of the American Mathematical Society (TRAN) is devoted to research articles of the highest quality in all areas of pure and applied mathematics.
The 2020 MCQ for Transactions of the American Mathematical Society is 1.43.
Journals Home eContent Search About TRAN Editorial Board Author and Submission Information Journal Policies Subscription Information
Cosmoi of internal categories
by Ross Street PDF
Trans. Amer. Math. Soc. 258 (1980), 271-318 Request permission
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.
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
J. Bénabou, Théories relatives à un corpus, C. R. Acad. Sci. Paris Sér. A 281 (1975), 831-834.
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
J. Celeyrette, Fibrations et extensions de Kan, Thèse de ${3^e}$ cycle, Université Paris-Nord, 1974.
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
P. J. Freyd, Abelian categories, Harper & Row, New York, 1964.
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
F. W. Lawvere, Closed categories of variable quantities over a base topos, Notices Amer. Math. Soc. 23 (1976), Abstract #737-18-8.
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
R. Wood, Indicial methods for relative categories, Ph.D. dissertation, Dalhousie University, Canada, 1976.
Retrieve articles in Transactions of the American Mathematical Society with MSC: 18D35, 18C10, 18F20
Retrieve articles in all journals with MSC: 18D35, 18C10, 18F20
© Copyright 1980 American Mathematical Society
Journal: Trans. Amer. Math. Soc. 258 (1980), 271-318
MSC: Primary 18D35; Secondary 18C10, 18F20
DOI: https://doi.org/10.1090/S0002-9947-1980-0558176-3
MathSciNet review: 558176