The following pages link to (Q4180525):
Displaying 7 items.
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- Coherence for compact closed categories (Q1146248) (← links)
- Rigidity in closed categories and generalized ''sup-inf'' theorems (Q1164128) (← links)
- Adjunctions in monoidal categories (Q1250866) (← links)
- Tortile tensor categories (Q1321051) (← links)
- Hypergraph categories (Q2001422) (← links)
- Augmented quasigroups and character algebras (Q2295465) (← links)
