# Creating Diagrams for Category Theory  ## Metadata - Author: [[Mathematica Stack Exchange]] - Full Title: Creating Diagrams for Category Theory - Category: #articles - Document Tags: [[category-theory]] [[mathematics]] - URL: https://mathematica.stackexchange.com/questions/8654/creating-diagrams-for-category-theory ## Highlights - WildCats can plot commutative (and non-commutative) categorical diagrams. But it can do much more. It can do (some) calculations in category theory, both symbolically and - when appropriate - visually, using diagrams. This is because, in WildCats, diagrams are not just pretty pictures, but retain most of their mathematical semantic. So it is possible to input a diagram to a functor (which is an operator between categories) and obtain a new diagram. Functors are operators which preserve the *topology* of diagrams (that means: it transforms vertices and arrows and an arrow between 2 vertices is transformed into an arrow between the transformed 2 vertices). ([View Highlight](https://read.readwise.io/read/01gmcnkmervnpdenzgfx8tfbb3)) - Tags: [[category-theory]] [[mathematics]]