Separatedness, discreteness, and comparatorsLast updated Dec 2, 2024 Tags: discrete partial Markov category, partial function.