Pages that link to "Item:Q5215079"
From MaRDI portal
The following pages link to The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079):
Displayed 7 items.
- Bifibrations of polycategories and classical linear logic (Q2133466) (← links)
- Modular operads and the nerve theorem (Q2189486) (← links)
- A graphical category for higher modular operads (Q2308300) (← links)
- Dwyer–Kan homotopy theory for cyclic operads (Q4993989) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
- Categories of graphs for operadic structures (Q6142654) (← links)