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

Lawvere's fixed point theorem as a generalisation of Cantor's theorem is a big result.

https://ncatlab.org/nlab/show/Lawvere's+fixed+point+theorem

Emily Riehl:

"The author is told with distressing regularity that 'there are no theorems in category theory' ...

Sadly, the majority of the theorems that are personal favorites of the author were excluded because their significance is more difficult to explain."

(long list of theorems)

https://math.jhu.edu/~eriehl/161/context.pdf



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: