monoid_hom.map_closure source