Measuring data types

Abstract

Abstract: In the 60s, Sweedler showed that algebras form a category enriched in coalgebras, where the hom-set of algebra homomorphisms is replaced by a coalgebra of partial homomorphisms called measurings. This result has been extended in many contexts, notably in higher categories by myself. I will present an application from joint work with Paige Randall North where we apply the coalgebraic enrichment as a way to gauge partial induction arguments for algebras over endofunctors.