Separatedness, discreteness, and comparators

Last updated Apr 23, 2024

Tags: discrete partial Markov category, partial function.