Hacker News new | ask | show | jobs
by zozbot234 1322 days ago
The nLab https://ncatlab.org/nlab/show/HomePage is a useful reference for category theory terminology and results.