News for hackers. Stuff that matters.

A comment on Getting Started with Category Theory. Parent comment

Re:Getting Started with Category Theory by Koshkin on Wednesday December 04, 2024 @09:02PM (#42324063)
Also, morphisms from A to B form a set.
[ Parent | on HN ]
Re:Getting Started with Category Theory by hoping1 on Wednesday December 04, 2024 @09:47PM (#42324299)
Only in locally-small categories. But yes, category theory often makes use of sets.
[ Parent | on HN ]