The following pages link to (Q3138542):
Displaying 15 items.
- Tail recursion through universal invariants (Q685396) (← links)
- Uniformly constructive monads (Q1174504) (← links)
- Fibrations and partial products in a 2-category (Q1320326) (← links)
- Variations on the bagdomain theme (Q1349648) (← links)
- The universal property of the multitude of trees (Q1588060) (← links)
- Higher dimensional categories: induction on extensivity (Q2134826) (← links)
- Polycategories via pseudo-distributive laws (Q2427570) (← links)
- Operads within monoidal pseudo algebras (Q2432567) (← links)
- An Australian Conspectus of Higher Categories (Q3400014) (← links)
- (Q3423074) (← links)
- (Q4555336) (← links)
- A unified framework for notions of algebraic theory (Q4972696) (← links)
- (Q5094144) (← links)
- Decomposing Comonad Morphisms. (Q5875355) (← links)
- Canonical Gradings of Monads (Q6150137) (← links)