A category-theoretic proof of the ergodic decomposition theorem.

Sean K. Moss Paolo Perrone

Published in: CoRR (2022)

Keyphrases

interactive theorem proving
theorem prover
markov chain
decomposition method
hierarchical decomposition
object categories
data mining
machine learning
decision trees
relational databases
linear logic