Cosmoi of Internal Categories

DOI10.2307/1998059zbMath0393.18009OpenAlexW4246547734MaRDI QIDQ4175737

Ross H. Street

Publication date: 1980

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

zbMATH Keywords

Cartesian Closed CategoryPresheaves2-CategoryCosmosIndexed CategoriesLocally Internal CategoriesLocally Presentable CategoriesMultiple CategoriesPullback Stable Gabriel TheoriesSketches

Mathematics Subject Classification ID

Classifying spaces of groups and (H)-spaces in algebraic topology (55R35) Fibered categories (18D30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Grothendieck topologies and Grothendieck topoi (18F10) Foundations, relations to logic and deductive systems (18A15)

Related Items

Unnamed Item, Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory, Categories in which all strong generators are dense, On completeness of locally-internal categories, Yoneda structures from 2-toposes, Homotopy type theory and Voevodsky’s univalent foundations, Unnamed Item, Multiplicative equivariant \(K\)-theory and the Barratt-Priddy-Quillen theorem, What should a generic object be?, Unnamed Item, Operads within monoidal pseudo algebras, Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting), Conspectus of variable categories, Localisations of locally presentable categories. II, Unnamed Item, Unnamed Item, A characterization of quasi-toposes, Unnamed Item, Unnamed Item, Galois theory in variable categories, Cauchy characterization of enriched categories, Contractible exact squares, Yoneda structures on 2-categories, The Dedekind reals in abstract Stone duality, An Australian Conspectus of Higher Categories, Notions of topos, The petit topos of globular sets, On the notion of pseudocategory internal to a category with a 2-cell structure

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