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.