scratch
§
Reader Monoid Needs a Hopf Algebra?!
created 2021-12-26
5.1, eg (iii)
We actually get a free comonoid in a CCC.
having a splittable random supply in like having a markov category with a comonoid in it.
❦