Separatedness, discreteness, and comparatorsLast updated Sep 8, 2023 Tags: discrete partial Markov category, partial function.