Definition Markov Category (simplified) [efr-O4HF]

November 6, 2025
Eigil Fjeldgren Rischel

A Markov category is a semiCartesian symmetric monoidal category $\mathcal {C}$ equipped with a maximal symmetric monoidal wide subcategory $\mathcal {C}_\mathrm {det} \hookrightarrow \mathcal {C}$ .

Definition Markov Category (simplified) [efr-O4HF]

A Simplified Definition of Markov Category [efr-PHF9]

Introduction

Markov Categories

Definition Premarkov structure [efr-5B0J]

Proposition [efr-10HQ]

Proof

Definition Markov Category (simplified) [efr-O4HF]

Markov functors

Proposition [efr-7F33]