Category Theory For Beginners: Mind Map

In this video I sketch a kind of mind map of some of the category theory ideas we have encountered so far in this course (products, terminal objects, initial objects, co-products, exponential objects, natural number objects, universal morphisms etc.,), and some of the notions coming up. I draw a kind of mind map / Venn diagram to explain ways these concepts interrelate. Then I explain I briefly discuss some of the coming notions (limits, and adjoint functors), and try and give a vague idea how they fit into the picture. I also discuss some potential strategies for learning category theory, and some concepts coming up. In particular Spivak’s idea of ologs, which allow us to relate category theory to natural language.