predicate envelope of a partial Markov categoryLast updated Mar 5, 2025Tags: partial Markov category.