Pages that link to "Item:Q4902505"
From MaRDI portal
The following pages link to Polynomial functors and polynomial monads (Q4902505):
Displaying 5 items.
- Computads for weak \(\omega \)-categories as an inductive type (Q6562849) (← links)
- Stabilized profunctors and stable species of structures (Q6563041) (← links)
- Whole-grain Petri nets and processes (Q6567261) (← links)
- Kripke-Joyal forcing for type theory and uniform fibrations (Q6586829) (← links)
- A Cartesian bicategory of polynomial functors in homotopy type theory (Q6653748) (← links)