The following pages link to (Q4138878):
Displaying 16 items.
- Coherence for modalities (Q531368) (← links)
- The path relation for directed planar graphs in rectangles, and its relation to the free diad (Q626863) (← links)
- Weighted limits in an \((\infty, 1)\)-category (Q825982) (← links)
- Monads generated by monoids (Q1222709) (← links)
- Limits indexed by category-valued 2-functors (Q1229294) (← links)
- Yoneda structures on 2-categories (Q1255083) (← links)
- 2-limits and 2-terminal objects are too different (Q2105679) (← links)
- Bilimits are bifinal objects (Q2154269) (← links)
- Ordinals in Frobenius monads (Q2376533) (← links)
- (Q3475448) (← links)
- (Q3720767) (← links)
- Imprimitivity systems in enriched categories (Q3745996) (← links)
- (Q3900226) (← links)
- Freely adjoining monoidal duals (Q5068203) (← links)
- (Q5364135) (← links)
- The formal theory of relative monads (Q6496517) (← links)
