⋅ Transformations, functors, categories
⋅ Functors represented by objects
⋅ Building an intuition over lax Kleisli morphisms
⋅ Factoring through objects
⋅ Vectors, matrices and tensors for free
⋅ Adjusting tensor corepresentation