Conspectus of variable categories
From MaRDI portal
Publication:1156868
DOI10.1016/0022-4049(81)90021-9zbMath0469.18007WikidataQ56687244 ScholiaQ56687244MaRDI QIDQ1156868
Publication date: 1981
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(81)90021-9
fibration; bicategory; presheaf; cocompletion; bicategory of category-valued pseudo-functors; representation theorem for fibrations; variable Kan extension
18B25: Topoi
18D30: Fibered categories
18A30: Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)
18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
Related Items
Categorie variabili, Galois theory in variable categories, Variation through enrichment, Two-dimensional sheaf theory, Pullback preserving functors, Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories, Fibrations and partial products in a 2-category, Modulated bicategories, The petit topos of globular sets, On the Penon method of weakening algebraic structures, Maps. I: Relative to a factorisation system, Monads for which structures are adjoint to units, The Eckmann-Hilton argument and higher operads, Cauchy characterization of enriched categories, An Australian Conspectus of Higher Categories
Cites Work
- Limits indexed by category-valued 2-functors
- Free colimits
- Yoneda structures on 2-categories
- Formal category theory: Adjointness for 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
- The formal theory of monads
- Cosmoi of Internal Categories
- Introduction to bicategories
- 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
- Unnamed Item
- Unnamed Item
