A Convenient Category for Higher-Order Probability Theory
From MaRDI portal
Publication:5144684
zbMath1458.60005arXiv1701.02547MaRDI QIDQ5144684
Ohad Kammar, Chris Heunen, Hongseok Yang, Sam Staton
Publication date: 19 January 2021
Full work available at URL: https://arxiv.org/abs/1701.02547
Distribution theory (60E99) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Axioms; other general questions in probability (60A05) Exchangeability for stochastic processes (60G09) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (23)
Category-theoretic structure for independence and conditional independence ⋮ A denotational semantics for low-level probabilistic programs with nondeterminism ⋮ Synthetic topology in Homotopy Type Theory for probabilistic programming ⋮ Unnamed Item ⋮ Program logic for higher-order probabilistic programs in Isabelle/HOL ⋮ The geometry of Bayesian programming ⋮ A category-theoretic proof of the ergodic decomposition theorem ⋮ A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics ⋮ Cyber Kittens, or Some First Steps Towards Categorical Cybernetics ⋮ From gs-monoidal to oplax cartesian categories: constructions and functorial completeness ⋮ A higher-order language for Markov kernels and linear operators ⋮ Divergences on monads for relational program logics ⋮ Dilations and information flow axioms in categorical probability ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Commutative Semantics for Probabilistic Programming ⋮ Unnamed Item ⋮ Coinduction in Flow: The Later Modality in Fibrations ⋮ Locally bounded enriched categories ⋮ Unnamed Item ⋮ Domains and stochastic processes ⋮ Algebraic theories and commutativity in a sheaf topos ⋮ Unnamed Item
Uses Software
This page was built for publication: A Convenient Category for Higher-Order Probability Theory
