Promonads and String Diagrams for Effectful Categories

DOI10.4204/EPTCS.380.20MaRDI QIDQ6150166zbMATH OpenOpenAlexFDO

Authors 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)

Abstract: Premonoidal and Freyd categories are both generalized by non-cartesian Freyd categories: effectful categories. We construct string diagrams for effectful categories in terms of the string diagrams for a monoidal category with a freely added object. We show that effectful categories are pseudomonoids in a monoidal bicategory of promonads with a suitable tensor product.

Recommendations

• Traced Premonoidal Categories
• Cartesian effect categories are Freyd-categories
• Generic models for computational effects
• scientific article; zbMATH DE number 1231608

Cites work

• 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 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 2146477 (Why is no real title available?)
• scientific article; zbMATH DE number 1389226 (Why is no real title available?)
• scientific article; zbMATH DE number 1405668 (Why is no real title available?)
• (Co)end Calculus
• A new notation for arrows
• Arrows, like monads, are monoids
• Cartesian effect categories are Freyd-categories
• Categorical quantum mechanics
• Categorical semantics for arrows
• Comonadic notions of computation
• Framed bicategories and monoidal fibrations
• Generalising monads to arrows
• Geometry of Interaction and linear combinatory algebras
• Graphical Conjunctive Queries.
• Introduction to bicategories
• Linear usage of state
• Memoryful geometry of interaction: from coalgebraic components to algebraic effects
• Monoidal bicategories and Hopf algebroids
• 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
• The geometry of tensor calculus. I
• Universal properties of impure programming languages

This page was built for publication: Promonads and String Diagrams for Effectful Categories

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