Title: Theory of categories