https://123dok.net/document/q2n7lw5r-tac-theory-and-applications-of-categories.html