What is a tensor? Tensors from physics explained in unnecessary rigour using concepts from functional programming

Welcome to my entry for the 3Blue1Brown Summer of Math Exposition 2021, a competition of online maths explainers.

For the purpose of the explanation being self-contained, the explanation is a PDF document that you can read below, or download from github.