scientific article

zbMath1411.18013MaRDI QIDQ3121018

Ross H. Street

Publication date: 19 March 2019

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modulesfibrationdescent datadouble categoryprofunctorsinternal categorydistributorsYoneda structurecategory objectinternal full subcategory

Mathematics Subject Classification ID

Fibered categories (18D30) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Embedding theorems, universal categories (18B15) Definitions and generalizations in theory of categories (18A05) Functor categories, comma categories (18A25)

Related Items

Logical systems. I: Internal calculi., Unnamed Item, Fibered aspects of Yoneda's regular span, Discrete and conservative factorizations in \textbf{Fib}\((B)\)

Cites Work

• Coherence for bicategories and indexed categories
• Limits indexed by category-valued 2-functors
• Yoneda structures on 2-categories
• A coherent approach to pseudomonads
• Formal category theory: Adjointness for 2-categories
• 2-nerves for bicategories
• Adjoint functors and triples
• The formal theory of monads
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Yoneda structures from 2-toposes
• Cosmoi of Internal Categories
• Introduction to bicategories
• Adjoint triangles
• On closed categories of functors
• Groups, Categories and Duality
• 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
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item