String diagrams for premonoidal categories

DOI10.46298/LMCS-21(2:9)2025MaRDI QIDQ6987757zbMATH OpenFDO

Authors Mario Román, Paweł Sobociński

Publication date 6 May 2025

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-21(2:9)2025

Mathematics Subject Classification ID

String diagrams and graphical calculi (18M30)

Cites work

• A new notation for arrows
• A survey of graphical languages for monoidal categories
• Cartesian effect categories are Freyd-categories
• Categorical quantum mechanics
• Categorical semantics for arrows
• Comonadic notions of computation
• Generalising monads to arrows
• Geometry of Interaction and linear combinatory algebras
• Graphical Conjunctive Queries.
• scientific article; zbMATH DE number 3749236 (Why is no real title available?)
• scientific article; zbMATH DE number 4123722 (Why is no real title available?)
• scientific article; zbMATH DE number 1405668 (Why is no real title available?)
• Linear usage of state
• Memoryful geometry of interaction: from coalgebraic components to algebraic effects
• Monoidal computer. I: Basic computability by string diagrams
• Natural deduction and coherence for weakly distributive categories
• Notions of computation and monads
• On braided fusion categories. I
• Premonoidal categories and notions of computation
• Premonoidal categories as categories with algebraic structure
• Promonads and String Diagrams for Effectful Categories
• String diagram rewrite theory II: Rewriting with symmetric monoidal structure
• String diagrammatic trace theory
• The functional machine calculus II: semantics
• The geometry of tensor calculus. I
• Universal properties of impure programming languages

This page was built for publication: String diagrams for premonoidal categories

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