Promonads and String Diagrams for Effectful Categories

DOI10.4204/EPTCS.380.20arXiv2205.07664OpenAlexW4385343029MaRDI QIDQ6150166FDOQ6150166

Authors: Mario Román 

Publication date: 5 March 2024

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

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.

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

Recommendations

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

Mathematics Subject Classification ID

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

Cites Work

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

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)