Thelie@sh.itjust.works to Programmer Humor@programming.devEnglish · 20 days agoProgramming as a hobby means I can do whatever I want!sh.itjust.worksimagemessage-square22fedilinkarrow-up1239arrow-down18
arrow-up1231arrow-down1imageProgramming as a hobby means I can do whatever I want!sh.itjust.worksThelie@sh.itjust.works to Programmer Humor@programming.devEnglish · 20 days agomessage-square22fedilink
minus-squareKogasa@programming.devlinkfedilinkarrow-up1·20 days 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