Using the analogy with homotopies in topology, we introduce natural transformations. You should think of natural transformations as giving us comparisons between functors, which adds a dimension to category theory.
No download links available.
