The following pages link to The formal theory of monads (Q2553668):
Displaying 5 items.
- Gabriel-Morita theory for excisive model categories (Q1732879) (← links)
- Generalized Płonka sums and products (Q2254602) (← links)
- Categorical semantics for arrows (Q3638922) (← links)
- A compositional approach to quantum functions (Q4586484) (← links)
- Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi (Q4882489) (← links)
