The following pages link to Dinatural transformations (Q5626910):
Displaying 10 items.
- Linear logic, coherence and dinaturality (Q685406) (← links)
- Functorial polymorphism (Q753948) (← links)
- Categories (Q1255566) (← links)
- Dinatural numbers (Q1295522) (← links)
- G-dinaturality. (Q1400601) (← links)
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
- Coends of higher arity (Q2667936) (← links)
- (Q3483291) (← links)
- On Compositionality of Dinatural Transformations (Q5079758) (← links)
- The Recursion Scheme from the Cofree Recursive Comonad (Q5166625) (← links)
