Reversors in profunctors

Last updated Sep 8, 2023

Tags: profunctor, formal category theory