Hacker News new | past | comments | ask | show | jobs | submit login

The left picture called "compositions are associative and unital" makes more sense when you reverse the bottom two arrows so that g.f : A -> C and h : C -> D



Consider applying for YC's Spring batch! Applications are open till Feb 11.

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

Search: