The following pages link to (Q4707046):
Displaying 5 items.
- The logic of message-passing (Q923880) (← links)
- A combinatorial-topological shape category for polygraphs (Q2182786) (← links)
- A monadic approach to polycategories (Q2842822) (← links)
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)
- Weak units, universal cells, and coherence via universality for bicategories (Q5239844) (← links)