TheCatsters

Uploaded videos

Monads

Monads

Adjunctions

Some videos introducting adjunctions and their relationship to monads.

String diagrams, adjunctions and 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

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.

Open-closed cobordisms

Some examples of open-closed cobordisms made out of pipe-cleaners