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

I'm fairly well-versed in AA, linear alg, topology, a few others. I got zero satisfaction from CT.

What would be the first interesting (if even mildly insightful) result in CT? I'll pull out my books and take a look...



If you’re looking for ‘something you can only prove using category theory’, you’ll probably not be able to find much. If you’re looking for ‘something commonly proven using category theory, whose proof without invoking such theory is much less elegant and general’, you’ll find plenty in any area of mathematics that uses category theory.

There’s a whole section of Emily Riehl’s book Category Theory In Context on ‘theorems in category theory’ (since it’s famously said that there are none — you’re certainly not the first to level such an accusation!).


See my other reply. It makes some things way easier in real-world programs (and libraries).




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

Search: