hom is the identity profunctor

Last updated May 3, 2024