A categorical method lifts free exponentials over double glueing for orthogonality categories and applies it to measure-theoretic transition kernels subsuming probabilistic coherent spaces.
Hamano, A linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces, submitted, arXiv:1909.07589 (2019)
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.