• Kogasa@programming.dev
    link
    fedilink
    arrow-up
    1
    ·
    5 months ago

    Hom functors exist for locally small categories, which is just to say that the hom classes are sets. The distinction can be ignored often because local smallness is a trivial consequence of how the category is defined, but it’s not generally true