Search
❯
Jun 30, 20252 min read
Given categories and , a functor is called full if for all , the maps
is a surjection.