The following pages link to Cartesian bicategories. I (Q1098929):
Displaying 31 items.
- Props in Network Theory (Q4585017) (← links)
- Categorie variabili (Q4732602) (← links)
- Feedback, trace and fixed-point semantics (Q4787833) (← links)
- Frobenius monads and pseudomonoids (Q4833520) (← links)
- A categorical approach to the semantics of argumentation (Q4882497) (← links)
- Two-dimensional linear algebra (Q4917040) (← links)
- Compositional Quantum Logic (Q4922071) (← links)
- A new description of orthogonal bases (Q4925030) (← links)
- (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras (Q5014788) (← links)
- Categories of relations as models of quantum theory (Q5015202) (← links)
- (Q5019305) (← links)
- (Q5020635) (← links)
- (Q5020636) (← links)
- (Q5020954) (← links)
- Double categories of relations (Q5048019) (← links)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
- Coherence for bicategorical cartesian closed structure (Q5068207) (← links)
- Graphical Conjunctive Queries. (Q5079736) (← links)
- Refinement for signal flow graphs (Q5111638) (← links)
- Interacting quantum observables: categorical algebra and diagrammatics (Q5135836) (← links)
- Bases in Diagrammatic Quantum Protocols (Q5415635) (← links)
- (Q5487065) (← links)
- (Q5875356) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
- Representable Markov categories and comparison of statistical experiments in categorical probability (Q6039894) (← links)
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness (Q6077384) (← links)
- A generalization of de Vries duality to closed relations between compact Hausdorff spaces (Q6113249) (← links)
- On continuous time agents (Q6116583) (← links)
- Cartesian double theories: a double-categorical framework for categorical doctrines (Q6492255) (← links)
- Calculations for plus constructions (Q6607607) (← links)
- The \textsf{ZX}\&-calculus: a complete graphical calculus for classical circuits using spiders (Q6645577) (← links)
