Text this: Theory of categories