Email Record: Theory of categories