Cosmoi of Internal Categories
From MaRDI portal
Publication:4175737
DOI10.2307/1998059zbMath0393.18009MaRDI QIDQ4175737
Publication date: 1980
Full work available at URL: https://doi.org/10.2307/1998059
Cartesian Closed Category; Presheaves; 2-Category; Cosmos; Indexed Categories; Locally Internal Categories; Locally Presentable Categories; Multiple Categories; Pullback Stable Gabriel Theories; Sketches
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