Mario Román

Home

❯

notes

❯

pieces

❯

Discrete partial Markov category

Discrete partial Markov category

Apr 30, 20251 min read

  • markov-category

A better name for Markov discrete restriction categories is discrete partial Markov categories.

markov-restriction-category

See also

  • Markov by split
  • Cartesian by split
  • Monty-Hall in partial Markov
  • Newcombs problem

Tags: Markov category, Bayes update

References.

  • Evidential Decision Theory via Partial Markov Categories (Di Lavore, Roman, 2023)
  • A Synthetic Approach to Markov Kernels (Fritz, 2020)
  • Range Categories II, Towards Regularity (Cockett, Xiuzhan, Hofstra, 2012)

Graph View

Backlinks

  • Evidential Decision Theory via Partial Markov Categories (Di Lavore, Román)
  • Bayes theorem
  • Markov category
  • Modelling Newcomb problem
  • Monty-Hall in partial Markov
  • Observations and comparators
  • Separatedness, discreteness, and comparators
  • Synthetic Bayes theorem
  • Conditionals in a Markov category
  • discrete cartesian restriction category
  • exact inference in discrete probability
  • experiments on continuous exact observations
  • Monoidal category

Mario Román, CC-BY-SA. Built with Quartz © 2025.

  • GitHub
  • ArXiv
  • OrcID