The following pages link to (Q4555336):
Displaying 8 items.
- On the generic solution to \(P(X)\cong X\) in distributive categories (Q1380052) (← links)
- Universal properties of bicategories of polynomials (Q2421332) (← links)
- Polycategories via pseudo-distributive laws (Q2427570) (← links)
- A monadic approach to polycategories (Q4680359) (← links)
- Extensional equality preservation and verified generic programming (Q5019020) (← links)
- 2-dimensional bifunctor theorems and distributive laws (Q5019077) (← links)
- Polynomials as spans (Q5116336) (← links)
- Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories (Q6612003) (← links)