finished construction of the inverse for functor cats