The following pages link to (Q4853312):
Displaying 4 items.
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Van Kampen Colimits as Bicolimits in Span (Q2888497) (← links)
- Decomposing typed lambda calculus into a couple of categorical programming languages (Q5057475) (← links)
- Mongruences and cofree coalgebras (Q5096389) (← links)
