Separatedness, discreteness, and comparators

Last updated Sep 8, 2023

Tags: discrete partial Markov category, partial function.