A categorical method lifts free exponentials over double glueing for orthogonality categories and applies it to measure-theoretic transition kernels subsuming probabilistic coherent spaces.
Crubill´ e, Probabilistic Stable Functions on Discrete Cones are Power Series, In 33rd Annual ACM/IEEE Symposium on LICS, 275-284 (2018)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2021 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Double Glueing over Free Exponential: with Measure Theoretic Applications
A categorical method lifts free exponentials over double glueing for orthogonality categories and applies it to measure-theoretic transition kernels subsuming probabilistic coherent spaces.