https://9dok.net/document/zlgx87k2-why-category-theory.html