https://9dok.net/document/z1dv8vv8-category-theory-in-context-emily-riehl.html