The following pages link to Contravariance through enrichment (Q4563229):
Displayed 4 items.
- Burnside rings for Real 2-representation theory: The linear theory (Q5002161) (← links)
- Real representation theory of finite categorical groups (Q5037505) (← links)
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)
- A formal logic for formal category theory (Q6091184) (← links)