Login / Signup

A category-theoretic proof of the ergodic decomposition theorem.

Sean K. MossPaolo 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