The following pages link to Cartesian bicategories. I (Q1098929):
Displaying 50 items.
- Categories with fuzzy sets and relations (Q277341) (← links)
- Interacting Hopf algebras (Q308156) (← links)
- Picturing classical and quantum Bayesian inference (Q383002) (← links)
- Monoidal computer. I: Basic computability by string diagrams (Q385721) (← links)
- Lex colimits (Q456823) (← links)
- Elementary characterisation of small quantaloids of closed cribles (Q456870) (← links)
- On the geometry and algebra of networks with state (Q517043) (← links)
- Coherence for modalities (Q531368) (← links)
- The compositional construction of Markov processes (Q633811) (← links)
- Groupoid sheaves as quantale sheaves (Q659892) (← links)
- Bicategories of processes (Q674474) (← links)
- An elementary characterization of categories of separated objects (Q687572) (← links)
- The calculus of signal flow diagrams. I: Linear relations on streams. (Q729807) (← links)
- Diagram chasing in Mal'cev categories (Q755877) (← links)
- Matrices, relations, and group representations (Q757580) (← links)
- Free quantaloids (Q805732) (← links)
- Pullback preserving functors (Q1176704) (← links)
- Generalized centers of braided and sylleptic monoidal 2-categories (Q1269459) (← links)
- Higher categories, strings, cubes and simplex equations (Q1346409) (← links)
- Regular and exact completions (Q1380046) (← links)
- Adjoining adjoints (Q1404973) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Cryptomorphic topological structures: a computational, relation-algebraic approach (Q1633340) (← links)
- The algebra of partial equivalence relations (Q1744396) (← links)
- The calculus of ends over a base topos (Q1824682) (← links)
- Maps. I: Relative to a factorisation system (Q1892302) (← links)
- Some free constructions in realizability and proof theory (Q1903677) (← links)
- Regularity of the category of Kelley spaces (Q1909229) (← links)
- Categories of projective spaces (Q1916430) (← links)
- Compact Hausdorff spaces with relations and Gleason spaces (Q2011383) (← links)
- Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} (Q2055955) (← links)
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics (Q2189508) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
- Unifying exact completions (Q2254599) (← links)
- Blocked-braid groups (Q2254601) (← links)
- Ordinals in Frobenius monads (Q2376533) (← links)
- Restriction categories as enriched categories (Q2435310) (← links)
- Completions, comonoids, and topological spaces (Q2575766) (← links)
- A variety theorem for relational universal algebra (Q2695366) (← links)
- Graphical Calculus for Quantum Key Distribution (Extended Abstract) (Q2825376) (← links)
- An Algebra of Automata That Includes Both Classical and Quantum Entities (Q2825378) (← links)
- Corelations are the prop for extraspecial commutative Frobenius monoids (Q2969088) (← links)
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- The compositional construction of Markov processes II (Q3006162) (← links)
- Categories for Dynamic Epistemic Logic (Q3384079) (← links)
- An Australian Conspectus of Higher Categories (Q3400014) (← links)
- Calculating Colimits Compositionally (Q3507390) (← links)
- (Q3767474) (← links)
- (Q3986541) (← links)
- (Q4285618) (← links)
