The following pages link to (Q3708172):
Displaying 21 items.
- Algebraic Kan extensions along morphisms of internal algebra classifiers (Q278230) (← links)
- Triposes, q-toposes and toposes (Q476121) (← links)
- On Morita contexts in bicategories (Q695314) (← links)
- Enriched categories as a free cocompletion (Q904009) (← links)
- Proarrows and cofibrations (Q1120667) (← links)
- Pullback preserving functors (Q1176704) (← links)
- Modulated bicategories (Q1331914) (← links)
- String diagrams for traced and compact categories are oriented 1-cobordisms (Q1684755) (← links)
- Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\) (Q1743002) (← links)
- The formal theory of monads. II (Q1850104) (← links)
- Distributive laws and factorization (Q1850107) (← links)
- Morphisms of colimits: from paths to profunctors (Q2254597) (← links)
- Injective hulls of quantale-enriched multicategories (Q2667932) (← links)
- The Bicategory-Theoretic Solution of Recursive Domain Equations (Q2864151) (← links)
- Algebraic Databases (Q2981748) (← links)
- (Q3211510) (← links)
- (Q3986541) (← links)
- Discrete Double Fibrations (Q4994673) (← links)
- (Q5048019) (← links)
- From coherent structures to universal properties (Q5954120) (← links)
- The formal theory of relative monads (Q6496517) (← links)
