Cartesian bicategories. I

DOI10.1016/0022-4049(87)90121-6zbMath0637.18003OpenAlexW2734361589MaRDI QIDQ1098929

Aurelio Carboni, Robert F. C. Walters

Publication date: 1987

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(87)90121-6

zbMATH Keywords

Grothendieck topos discrete object Cartesian bicategory bicategories of relations Abelian bicategory comonoid object locally posetal bicategory

Mathematics Subject Classification ID

Related Items

A Finite Axiomatisation of Finite-State Automata Using String Diagrams, Categories with fuzzy sets and relations, Feedback, trace and fixed-point semantics, Cryptomorphic topological structures: a computational, relation-algebraic approach, Ordinals in Frobenius monads, Maps. I: Relative to a factorisation system, Interacting Hopf algebras, Higher categories, strings, cubes and simplex equations, String Diagram Rewrite Theory I: Rewriting with Frobenius Structure, Some free constructions in realizability and proof theory, Coherence for bicategorical cartesian closed structure, Regularity of the category of Kelley spaces, Unnamed Item, Categories of projective spaces, Frobenius monads and pseudomonoids, Regular and exact completions, Picturing classical and quantum Bayesian inference, Monoidal computer. I: Basic computability by string diagrams, (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras, Categories of relations as models of quantum theory, Representable Markov categories and comparison of statistical experiments in categorical probability, Categories for Dynamic Epistemic Logic, A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics, From gs-monoidal to oplax cartesian categories: constructions and functorial completeness, A formal logic for formal category theory, A generalization of de Vries duality to closed relations between compact Hausdorff spaces, On continuous time agents, Calculating Colimits Compositionally, Adjoining adjoints, Unnamed Item, Relative full completeness for bicategorical Cartesian closed structure, The compositional construction of Markov processes, A variety theorem for relational universal algebra, Restriction categories as enriched categories, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Lex colimits, Elementary characterisation of small quantaloids of closed cribles, Unnamed Item, A categorical approach to the semantics of argumentation, Interacting quantum observables: categorical algebra and diagrammatics, Confluence of Graph Rewriting with Interfaces, Groupoid sheaves as quantale sheaves, Pullback preserving functors, The compositional construction of Markov processes II, Bicategories of processes, Unnamed Item, The algebra of partial equivalence relations, On the geometry and algebra of networks with state, An elementary characterization of categories of separated objects, Two-dimensional linear algebra, Bases in Diagrammatic Quantum Protocols, Coherence for modalities, Unifying exact completions, Blocked-braid groups, Compositional Quantum Logic, A new description of orthogonal bases, Compact Hausdorff spaces with relations and Gleason spaces, Props in Network Theory, Unnamed Item, Unnamed Item, The calculus of signal flow diagrams. I: Linear relations on streams., Graphical Conjunctive Queries., Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}, Generalized centers of braided and sylleptic monoidal 2-categories, Diagram chasing in Mal'cev categories, Matrices, relations, and group representations, Graphical Calculus for Quantum Key Distribution (Extended Abstract), An Algebra of Automata That Includes Both Classical and Quantum Entities, An Australian Conspectus of Higher Categories, The calculus of ends over a base topos, Categorie variabili, Unnamed Item, Refinement for signal flow graphs, Corelations are the prop for extraspecial commutative Frobenius monoids, Completions, comonoids, and topological spaces, Free quantaloids, Dynamic connectors for concurrency

Cites Work