A repository with experiments on continuous exact observations. Restricted semantics but helpful for many examples on graded coalgebra, partial Markov categories, and observations and comparators.
Tags: partial Markov category, discrete partial Markov category, graded coalgebra.