Thelie@sh.itjust.works to Programmer Humor@programming.devEnglish · 5 months agoProgramming as a hobby means I can do whatever I want!sh.itjust.worksimagemessage-square24fedilinkarrow-up1240arrow-down18
arrow-up1232arrow-down1imageProgramming as a hobby means I can do whatever I want!sh.itjust.worksThelie@sh.itjust.works to Programmer Humor@programming.devEnglish · 5 months agomessage-square24fedilink
minus-squareKogasa@programming.devlinkfedilinkarrow-up1·5 months agoHom 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
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