  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.
