Abstract hypernormalisation, and normalisation-by-trace-evaluation for generative systems

Richard Garner

Jacobs' hypernormalisation is a construction on finitely supported discrete probability distributions, obtained by generalising certain patterns occurring in quantitative informati…