Visualizing category concept dependencies by John D. Cook "Category theory has a high ratio of definitions to theorems, and it can seem like every definition depends on an infinite regress of definitions. But if you graph the definition dependencies, the graph is wide rather than deep." Source:... - https://picasaweb.google.com/1068082...