Conspectus of variable categories

DOI10.1016/0022-4049(81)90021-9zbMath0469.18007WikidataQ56687244 ScholiaQ56687244MaRDI QIDQ1156868

Ross H. Street

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

zbMATH Keywords

fibration; bicategory; presheaf; cocompletion; bicategory of category-valued pseudo-functors; representation theorem for fibrations; variable Kan extension

Mathematics Subject Classification ID

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