Hom functor

functor mapping hom objects to an underlying category

ক্যাটাগরি: