The following pages link to (Q3978966):
Displaying 7 items.
- Representable multicategories (Q1570232) (← links)
- The universal property of the multitude of trees (Q1588060) (← links)
- Paracategories. I: Internal paracategories and saturated partial algebras (Q1884899) (← links)
- Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory (Q1884930) (← links)
- Homotopy theory for algebras over polynomial monads (Q2963473) (← links)
- (Q3411953) (← links)
- From coherent structures to universal properties (Q5954120) (← links)