The following pages link to (Q4092156):
Displaying 50 items.
- Algebraic Kan extensions along morphisms of internal algebra classifiers (Q278230) (← links)
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos (Q338225) (← links)
- Fibred 2-categories and bicategories (Q393515) (← links)
- The Hecke bicategory (Q398537) (← links)
- A general account of coinduction up-to (Q523132) (← links)
- The identity type weak factorisation system (Q959823) (← links)
- Categorical simulations (Q964545) (← links)
- Order completion monads (Q1055871) (← links)
- Proarrows and cofibrations (Q1120667) (← links)
- Two-dimensional monad theory (Q1121980) (← links)
- Semi-topological functors III: Lifting of monads and adjoint functors (Q1137109) (← links)
- Conspectus of variable categories (Q1156868) (← links)
- Limits indexed by category-valued 2-functors (Q1229294) (← links)
- Yoneda structures on 2-categories (Q1255083) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Spreads and the symmetric topos. II (Q1295565) (← links)
- Some properties of Fib as a fibred \(2\)-category (Q1295672) (← links)
- Modulated bicategories (Q1331914) (← links)
- Representable multicategories (Q1570232) (← links)
- On the monad of proper factorisation systems in categories (Q1612108) (← links)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- Group actions on 2-categories (Q1740376) (← links)
- On fibrations between internal groupoids and their normalizations (Q1794280) (← links)
- Codescent objects and coherence (Q1850103) (← links)
- Lax factorization algebras (Q1850108) (← links)
- Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory (Q1884930) (← links)
- Monads for which structures are adjoint to units (Q1903697) (← links)
- Discrete and conservative factorizations in \textbf{Fib}\((B)\) (Q2040884) (← links)
- Bifold algebras and commutants for enriched algebraic theories (Q2105667) (← links)
- Accessible aspects of 2-category theory (Q2200941) (← links)
- Categorical notions of fibration (Q2221495) (← links)
- Contractible exact squares (Q2254590) (← links)
- Fibered aspects of Yoneda's regular span (Q2281330) (← links)
- Yoneda structures from 2-toposes (Q2643608) (← links)
- Artin glueings of toposes as adjoint split extensions (Q2684779) (← links)
- An orthogonal approach to algebraic weak factorisation systems (Q2689175) (← links)
- Multiplicative Linear Logics and Fibrations (Q2842824) (← links)
- (Q3121018) (← links)
- The comprehension construction (Q3121023) (← links)
- (Q3341027) (← links)
- An Australian Conspectus of Higher Categories (Q3400014) (← links)
- (Q3876103) (← links)
- (Q4161837) (← links)
- (Q4175732) (← links)
- On lifting of biadjoints and lax algebras (Q4553294) (← links)
- (Q4555336) (← links)
- Contravariance through enrichment (Q4563229) (← links)
- Operads Revisited (Q4929768) (← links)
- Faà di Bruno for operads and internal algebras (Q4967971) (← links)
- Discrete Double Fibrations (Q4994673) (← links)
