Pages that link to "Item:Q393515"

The following pages link to Fibred 2-categories and bicategories (Q393515):

Displaying 28 items.

• Homotopy colimits of 2-functors (Q504533) (← links)
• Skew-enriched categories (Q722252) (← links)
• Sigma limits in 2-categories and flat pseudofunctors (Q1649333) (← links)
• The enriched Grothendieck construction (Q1710396) (← links)
• Six-functor-formalisms and fibered multiderivators (Q1783967) (← links)
• 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\) (Q2045881) (← links)
• 2-Cartesian fibrations. I: A model for \(\infty\)-bicategories fibred in \(\infty\)-bicategories (Q2105682) (← links)
• Theorem A for marked 2-categories (Q2125170) (← links)
• Stone dualities from opfibrations (Q2141291) (← links)
• Bilimits are bifinal objects (Q2154269) (← links)
• Bicategorical homotopy fiber sequences (Q2255533) (← links)
• Artin glueings of toposes as adjoint split extensions (Q2684779) (← links)
• THREE STUDIES IN HIGHER CATEGORY THEORY: FIBRATIONS, SKEW-MONOIDAL STRUCTURES AND EXCISION OF EXTREMALS (Q2986547) (← links)
• Monoidal Grothendieck construction (Q3305544) (← links)
• Discrete Double Fibrations (Q4994673) (← links)
• Oplax Hopf Algebras (Q5037506) (← links)
• Fibrations of AU-contexts beget fibrations of toposes (Q5112051) (← links)
• Lax familial representability and lax generic factorizations (Q5121791) (← links)
• Quillen cohomology of $(\infty,2)$-categories (Q5382902) (← links)
• (Q5872359) (← links)
• On straightening for Segal spaces (Q6122173) (← links)
• A general framework for the semantics of type theory (Q6149910) (← links)
• Bicategorical type theory: semantics and syntax (Q6149956) (← links)
• Pointwise Kan extensions along 2-fibrations and the 2-category of elements (Q6589561) (← links)
• Discrete 2-fibrations (Q6617077) (← links)
• Yoneda lemma and representation theorem for double categories (Q6634625) (← links)
• Semantics for two-dimensional type theory (Q6649441) (← links)
• Cartesian fibrations of \(( \infty,2)\)-categories (Q6661607) (← links)