The following pages link to Cartesian Bicategories II (Q3498625):
Displaying 16 items.
- Elementary characterisation of small quantaloids of closed cribles (Q456870) (← links)
- Duals invert (Q633805) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
- A skew-duoidal Eckmann-Hilton argument and quantum categories (Q2254583) (← links)
- Morphisms of colimits: from paths to profunctors (Q2254597) (← links)
- Infinite loop spaces, and coherence for symmetric monoidal bicategories (Q2437493) (← links)
- An algebra of automata that includes both classical and quantum entities (Q2825378) (← links)
- (Q3986541) (← links)
- Open Diagrams via Coend Calculus (Q5019661) (← links)
- Green 2-functors (Q5039722) (← links)
- Coherence for bicategorical cartesian closed structure (Q5068207) (← links)
- Graphical Conjunctive Queries. (Q5079736) (← links)
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness (Q6077384) (← links)
- Cartesian double theories: a double-categorical framework for categorical doctrines (Q6492255) (← links)
- The symmetric monoidal 2-category of permutative categories (Q6617081) (← links)
- Frobenius and commutative pseudomonoids in the bicategory of spans (Q6655033) (← links)