Abstract
Introduced in the 1990s in the context of the algebraic approach to graph rewriting, gsmonoidal categories are symmetric monoidal categories where each object is equipped with the structure of a commutative comonoid. They arise for example as Kleisli categories of commutative monads on cartesian categories, and as such they provide a general framework for effectful computation. Recently proposed in the context of categorical probability, Markov categories are gsmonoidal categories where the monoidal unit is also terminal, and they arise for example as Kleisli categories of commutative affine monads, where affine means that the monad preserves the monoidal unit.
The aim of this paper is to study a new condition on the gsmonoidal structure, resulting in the concept of weakly Markov categories, which is intermediate between gsmonoidal categories and Markov ones. In a weakly Markov category, the morphisms to the monoidal unit are not necessarily unique, but form a group. As we show, these categories exhibit a rich theory of conditional independence for morphisms, generalising the known theory for Markov categories. We also introduce the corresponding notion for commutative monads, which we call weakly affine, and for which we give two equivalent characterisations.
The paper argues that these monads are relevant to the study of categorical probability. A case at hand is the monad of finite nonzero measures, which is weakly affine but not affine. Such structures allow to investigate probability without normalisation within an elegant categorical framework.
BibTeX  Entry
@InProceedings{fritz_et_al:LIPIcs.CALCO.2023.16,
author = {Fritz, Tobias and Gadducci, Fabio and Perrone, Paolo and Trotta, Davide},
title = {{Weakly Markov Categories and Weakly Affine Monads}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {16:116:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {9783959772877},
ISSN = {18688969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2023/18813},
URN = {urn:nbn:de:0030drops188133},
doi = {10.4230/LIPIcs.CALCO.2023.16},
annote = {Keywords: String diagrams, gsmonoidal and Markov categories, categorical probability, affine monads}
}
Keywords: 

String diagrams, gsmonoidal and Markov categories, categorical probability, affine monads 
Collection: 

10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023) 
Issue Date: 

2023 
Date of publication: 

02.09.2023 