filled adj and right-inverse in lib.Equivalences