The following pages link to (Q4707046):
Displaying 8 items.
- The logic of message-passing (Q923880) (← links)
- A combinatorial-topological shape category for polygraphs (Q2182786) (← links)
- A monadic approach to polycategories (Q2842822) (← links)
- Introduction to linear bicategories (Q4487269) (← links)
- Polynomials as spans (Q5116336) (← 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)
- \(\ast\)-autonomous envelopes and conservativity (Q6657790) (← links)
