The following pages link to Cartesian Bicategories II (Q3498625):
Displaying 13 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)
- 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)
