Hopf measuring comonoids and enrichment

Martin Hyland, Ignacio Lopez Franco, Christina Vasilakopoulou

We study the existence of universal measuring comonoids $P(A,B)$ for a pair of monoids $A$, $B$ in a braided monoidal closed category, and the associated enrichment of a category o…