Abstract:Introduced in the 1990s in the context of the algebraic approach to graph rewriting, gs-monoidal 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 gs-monoidal 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 gs-monoidal structure, resulting in the concept of weakly Markov categories, which is intermediate between gs-monoidal 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 non-zero measures, which is weakly affine but not affine. Such structures allow to investigate probability without normalisation within an elegant categorical framework.

The weak Ramsey property and extreme amenability

Frobenius Property and Maschke-Type Theorem for Weak Entwined Modules

Tukey reducibility for categories -- In search of the strongest statement in finite Ramsey theory

A Categorical Approach To The Baum–Connes Conjecture For Étale Groupoids

Weakly Connes amenable dual Banach algebras

Characterisation of the big Ramsey degrees of the generic partial order

On the Rainbow Ramsey theorem and the Canonical Ramsey Theorem for pairs without AC

The externally definable Ramsey property and fixed points on type spaces

From abstract alpha-Ramsey theory to abstract ultra-Ramsey theory

Weak A2 spaces, the Kastanas game and strategically Ramsey sets

Weakly Markov categories and weakly affine monads

A dimerized spin fluid in a one-dimensional electron system

Categorical approach to the Baum-Connes conjecture for étale groupoids

An invitation to weak amenability, after Cowling and Haagerup

On the Weihrauch degree of the additive Ramsey theorem

Dickson's lemma and weak Ramsey theory

On Ramsey degrees, compactness and approximability

Big Ramsey Degrees in Ultraproducts of Finite Structures

The Borel Ramsey properties for countable Borel equivalence relations

The Ramsey property and higher dimensional mad families

Weak amenability for dual Banach algebras