Cosmoi of Internal Categories
From MaRDI portal
2-CategoryCartesian Closed CategoryCosmosIndexed CategoriesLocally Internal CategoriesLocally Presentable CategoriesMultiple CategoriesPresheavesPullback Stable Gabriel TheoriesSketches
Foundations, relations to logic and deductive systems (18A15) Theories (e.g., algebraic theories), structure, and semantics (18C10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Fibered categories (18D30) Grothendieck topologies and Grothendieck topoi (18F10) Classifying spaces of groups and (H)-spaces in algebraic topology (55R35)
Cites work
- A reflection theorem for closed categories
- Adjoint triangles
- Aspects of topoi
- Categories of continuous functors. I
- Change of base for toposes with generators
- scientific article; zbMATH DE number 3422601 (Why is no real title available?)
- scientific article; zbMATH DE number 3508697 (Why is no real title available?)
- scientific article; zbMATH DE number 3536297 (Why is no real title available?)
- scientific article; zbMATH DE number 3544241 (Why is no real title available?)
- scientific article; zbMATH DE number 3544242 (Why is no real title available?)
- scientific article; zbMATH DE number 3574077 (Why is no real title available?)
- scientific article; zbMATH DE number 3605078 (Why is no real title available?)
- scientific article; zbMATH DE number 3297895 (Why is no real title available?)
- scientific article; zbMATH DE number 3358638 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3397722 (Why is no real title available?)
- scientific article; zbMATH DE number 3414502 (Why is no real title available?)
- scientific article; zbMATH DE number 3195417 (Why is no real title available?)
- Limits indexed by category-valued 2-functors
- 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
- The comprehensive factorization of a functor
- The formal theory of monads
- Yoneda structures on 2-categories
Cited in
(33)- 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
- Contractible exact squares
- On the notion of pseudocategory internal to a category with a 2-cell structure
- Operads within monoidal pseudo algebras
- Yoneda structures from 2-toposes
- Multiplicative equivariant K-theory and the Barratt-Priddy-Quillen theorem
- Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting)
- Homotopy type theory and Voevodsky's univalent foundations
- Categories in categories, and size matters
- Cauchy characterization of enriched categories
- The Dedekind reals in abstract Stone duality
- An Australian conspectus of higher categories
- scientific article; zbMATH DE number 3680046 (Why is no real title available?)
- Notions of topos
- scientific article; zbMATH DE number 3771857 (Why is no real title available?)
- scientific article; zbMATH DE number 1389226 (Why is no real title available?)
- Three easy pieces: imaginary seminar talks in honour of Bob Rosebrugh
- Formal category theory in augmented virtual double categories
- What should a generic object be?
- Synthetic fibered (,1)-category theory
- Objective Mackey and Tambara functors via parametrized categories
- Galois theory in variable categories
- The elementary theory of the 2-category of small categories
- (, 1)-categorical comprehension schemes
- Internal 1-topoi in 2-topoi
- Colimits of internal categories
- Localisations of locally presentable categories. II
This page was built for publication: Cosmoi of Internal Categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4175737)
