Category theory Nature and Category Theory "Computer scientists started using categories where the objects represent data types and the morphisms represent programs. They also started using ‘flow charts’ to describe programs. Abstractly, these are very much like Feynman diagrams!"