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