2 years ago
Some videos introducting adjunctions and their relationship to monads.
String diagrams for functors and natural transformations are introduced, then we show how adjunctions and monads have a very simple and natural description in this language.
Limits and colimits, starting with specific examples of common (co)limits that have special names, then formal definition of limit and colimit over an arbitrary diagram. Universal properties.
Some examples of open-closed cobordisms made out of pipe-cleaners
Videos on various topics in category theory.
A pictorial map of the videos can be found at
These are probably best viewed in full-screen mode.