Functorial Boxes in String Diagrams

DOI10.1007/11874683_1MaRDI QIDQ3613326zbMATH OpenOpenAlexFDO

Authors Paul-André Melliès

Publication date 12 March 2009

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

Full work available at URL https://doi.org/10.1007/11874683_1

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• A first-order logic for string diagrams
• The Joy of String Diagrams
• Dragging proofs out of pictures
• A survey of graphical languages for monoidal categories
• Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers

Cited in

(29)

• String diagrams for traced and compact categories are oriented 1-cobordisms
• Unitary transformations of fibre functors
• Bimonoidal structure of probability monads
• On paradoxes in normal form
• Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
• Computation by interaction for space-bounded functional programming
• Traces for coalgebraic components
• A Graphical Foundation for Schedules
• Semantics of higher-order quantum computation via geometry of interaction
• The Joy of String Diagrams
• On traced monoidal closed categories
• A graphical foundation for interleaving in game semantics
• The dynamic geometry of interaction machine: a token-guided graph rewriter
• Open diagrams via coend calculus
• Cyber kittens, or some first steps towards categorical cybernetics
• scientific article; zbMATH DE number 7559448 (Why is no real title available?)
• A first-order logic for string diagrams
• Completeness of Nominal PROPs
• A covariant Stinespring theorem
• String Diagrams for Layered Explanations
• Categorical composable cryptography: extended version
• Resource modalities in tensor logic
• String diagrams for strictification and coherence
• Unitary pseudonatural transformations
• Collages of string diagrams
• String-net models for pivotal bicategories
• A robust graph-based approach to observational equivalence
• A complete theory of sequential digital circuits: denotational, operational and algebraic semantics
• Diagrammatic reasoning with control as a constructor, applications to quantum circuits

This page was built for publication: Functorial Boxes in String Diagrams

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