Email Record: The theory of categories /