Measuring data types

Lukas Mulder, Paige Randall North, Maximilien Péroux

In this article, we combine Sweedler's classic theory of measuring coalgebras -- by which $k$-algebras are enriched in $k$-coalgebras for $k$ a field -- with the theory of W-types…