Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

More or less. "Morphism" is defined by the category it lives in, so a functor is a morphism between categories in the category of (small) categories. (Insert technicalities about size concerns and Russell's paradox.)

In particular, a map between categories that does not preserve composition is not a functor. It is important that F(f;g) = F(f);F(g).



Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: