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

We should teach the bulk of Lawvere theories only once. Students should get to know groups and rings as two flavors of a similar construction, and also be introduced to the mysterious fact that some objects, like fields, don't fit into the Lawvere-theory paradigm.



I vouched for this comment not because I fully agree, but because I like how provocative it is.




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

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

Search: