discrete partial Markov category References. Range Categories II, Towards Regularity (Cockett, Xiuzhan, Hofstra, 2012), first definition.