On Boolean hyperdoctrines and peircean bicategories

DOI10.1016/J.TCS.2026.116189MaRDI QIDQ7363114zbMATH OpenFDO

Authors Filippo Bonchi, Alessandro di Giorgio, Davide Trotta

Publication date 29 September 2026

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.TCS.2026.116189

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
• A categorical approach to open and interconnected dynamical systems
• A categorical interpretation of C. S. Peirce's propositional logic Alpha
• A characterization of generalized existential completions
• A string diagrammatic axiomatisation of finite-state automata
• A survey of graphical languages for monoidal categories
• Adjointness in Foundations
• Cartesian bicategories. I
• Categorical logic and type theory
• Coalgebras and cartesian categories
• Compositional Diagrammatic First-Order Logic
• Computer Science Logic
• Diagrammatic algebra of first order logic
• Dialogue categories and chiralities
• Elementary quotient completion
• Full abstraction for signal flow graphs
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Graphical Conjunctive Queries.
• scientific article; zbMATH DE number 2125662 (Why is no real title available?)
• scientific article; zbMATH DE number 3968557 (Why is no real title available?)
• scientific article; zbMATH DE number 3974258 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 1086628 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 910715 (Why is no real title available?)
• scientific article; zbMATH DE number 3316966 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• scientific article; zbMATH DE number 3346618 (Why is no real title available?)
• scientific article; zbMATH DE number 3351504 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• Interacting Quantum Observables
• Interacting quantum observables: categorical algebra and diagrammatics
• Introduction to linear bicategories
• Kleene algebra with tests and Coq tools for while programs
• On categorical models of classical logic and the Geometry of Interaction
• On representable relation algebras
• On the calculus of relations
• On the positive calculus of relations with transitive closure
• Peirce allegories. Identities involving transitive elements and symmetrical ones
• Projective Algebra I
• Proof Pearl: regular expression equivalence and relation algebra
• Quotient completion for the foundation of constructive mathematics
• Quotients and extensionality in relational doctrines
• Relational reasoning about contexts
• String diagram rewrite theory. I: Rewriting with Frobenius structure
• String diagrams for regular logic (extended abstract)
• The Geometry of Computation-Graph Abstraction
• The geometry of tensor calculus. I
• Tripos theory
• Tripos theory in retrospect
• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
• Unifying exact completions
• Über Möglichkeiten im Relativkalkül.

This page was built for publication: On Boolean hyperdoctrines and peircean bicategories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7363114)