Cosmoi of Internal Categories

DOI10.2307/1998059zbMath0393.18009MaRDI QIDQ4175737

Ross H. Street

Publication date: 1980

Full work available at URL: https://doi.org/10.2307/1998059

zbMATH Keywords

Cartesian Closed Category; Presheaves; 2-Category; Cosmos; Indexed Categories; Locally Internal Categories; Locally Presentable Categories; Multiple Categories; Pullback Stable Gabriel Theories; Sketches

Mathematics Subject Classification ID

55R35: Classifying spaces of groups and (H)-spaces in algebraic topology

18D30: Fibered categories

18C10: Theories (e.g., algebraic theories), structure, and semantics

18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)

18F10: Grothendieck topologies and Grothendieck topoi

18A15: Foundations, relations to logic and deductive systems

Related Items

Unnamed Item, Galois theory in variable categories, Localisations of locally presentable categories. II, Categories in which all strong generators are dense, On completeness of locally-internal categories, Conspectus of variable categories, A characterization of quasi-toposes, Yoneda structures on 2-categories, The petit topos of globular sets, Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory, Operads within monoidal pseudo algebras, Yoneda structures from 2-toposes, Cauchy characterization of enriched categories, The Dedekind reals in abstract Stone duality, An Australian Conspectus of Higher Categories, Unnamed Item, Unnamed Item, Notions of topos

Cites Work

• Limits indexed by category-valued 2-functors
• Change of base for toposes with generators
• Yoneda structures on 2-categories
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• A reflection theorem for closed categories
• The formal theory of monads
• Categories of continuous functors. I
• The comprehensive factorization of a functor
• Adjoint triangles
• Aspects of topoi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item