⋅ Transformations, functors, categories
⋅ Components of natural transformations
⋅ Functors represented by objects
⋅ Adjoint functors arise *somewhere*
⋅ Building an intuition over lax Kleisli morphisms
⋅ Factoring through objects
⋅ Vectors, matrices and tensors for free
⋅ Adjusting tensor corepresentation