"We designed a new language ... diagrams on steroids," which incorporates many more graphical conventions and many more properties. "Category theory can be thought of as the mathematics of ...