Hypernormalisation, linear exponential monads and the Giry tricocycloid

by   Richard Garner, et al.

We provide new categorical perspectives on Jacobs' notion of hypernormalisation of sub-probability distributions. In particular, we show that a suitable general framework for notions of hypernormalisation is that of a symmetric monoidal category endowed with a linear exponential monad---a notion arising in the categorical semantics of Girard's linear logic. We show that Jacobs' original notion of hypernormalisation arises in this way from the finitely supported probability measure monad on the category of sets, which can be seen as a linear exponential monad with respect to a monoidal structure on sets arising from a quantum-algebraic object which we term the Giry tricocycloid. We give many other examples of hypernormalisation arising from other linear exponential monads.


page 1

page 2

page 3

page 4


Effectus of Quantum Probability on Relational Structures

The notion of effectus from categorical logic is relevant in the emergin...

On categorical structures arising from implicative algebras: from topology to assemblies

Implicative algebras have been recently introduced by Miquel in order to...

Classical linear logic, cobordisms and categorical semantics of categorial grammars

We propose a categorial grammar based on classical multiplicative linear...

Categorical models of Linear Logic with fixed points of formulas

We develop a denotational semantics of muLL, a version of propositional ...

Composable constraints

We introduce a notion of compatibility between constraint encoding and c...

A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces

This paper concerns a stochastic construction of probabilistic coherent ...

Definable and Non-definable Notions of Structure

Definability is a key notion in the theory of Grothendieck fibrations th...

Please sign up or login with your details

Forgot password? Click here to reset