Yoneda structures from 2-toposes

DOI10.1007/s10485-007-9079-2zbMath1125.18001OpenAlexW2093735953MaRDI QIDQ2643608

Mark Weber

Publication date: 27 August 2007

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-007-9079-2

zbMATH Keywords

fibrationinternal category2-toposYoneda structure

Mathematics Subject Classification ID

Topoi (18B25) Definitions and generalizations in theory of categories (18A05) Foundations, relations to logic and deductive systems (18A15)

Related Items

Algebraic Kan extensions along morphisms of internal algebra classifiers, The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions, A categorical framework for congruence of applicative bisimilarity in higher-order languages, Augmented virtual double categories, Logical systems. I: Internal calculi., Lax colimits and free fibrations in \(\infty\)-categories, Distributive laws for relative monads, Relative full completeness for bicategorical Cartesian closed structure, Accessible aspects of 2-category theory, Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting), Unnamed Item, Categorical notions of fibration, The comprehension construction, Unnamed Item, Yoneda structures and KZ doctrines, Unnamed Item, Regular patterns, substitudes, Feynman categories and operads, Contravariance through enrichment, Distributive laws via admissibility, Fibrations of AU-contexts beget fibrations of toposes, Fibered aspects of Yoneda's regular span, Discrete and conservative factorizations in \textbf{Fib}\((B)\)

Cites Work

• Gattungen von lokalen Strukturen
• Sheaves in geometry and logic: a first introduction to topos theory
• Limits indexed by category-valued 2-functors
• Yoneda structures on 2-categories
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• Some properties of Fib as a fibred \(2\)-category
• The petit topos of globular sets
• Fibered categories and the foundations of naive category theory
• Cosmoi of Internal Categories
• Higher-dimensional algebra and topological quantum field theory
• Connected limits, familial representability and Artin glueing
• 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