Removed Old Category Theory file