Promonads and String Diagrams for Effectful Categories

DOI10.4204/eptcs.380.20arXiv2205.07664OpenAlexW4385343029MaRDI QIDQ6150166

Mario Román

Publication date: 5 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2205.07664

Mathematics Subject Classification ID

Computer science (68-XX) Category theory; homological algebra (18-XX)

Cites Work

• Monoidal computer. I: Basic computability by string diagrams
• Cartesian effect categories are Freyd-categories
• Notions of computation and monads
• On braided fusion categories. I
• Natural deduction and coherence for weakly distributive categories
• The geometry of tensor calculus. I
• Monoidal bicategories and Hopf algebroids
• Generalising monads to arrows
• Premonoidal categories as categories with algebraic structure
• Categorical quantum mechanics
• Comonadic Notions of Computation
• Universal properties of impure programming languages
• (Co)end Calculus
• Categorical semantics for arrows
• Framed bicategories and monoidal fibrations
• Premonoidal categories and notions of computation
• Introduction to bicategories
• Memoryful geometry of interaction
• Geometry of Interaction and linear combinatory algebras
• Graphical Conjunctive Queries.
• A new notation for arrows
• Linear usage of state
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item