Actually, this is why we can’t have nice things. In category theory, a natural transformation α: F ⇒ G between functors F, G: C → D is defined by the naturality condition: G(f) ∘ αA = αB ∘ F(f) for every morphism f: A → B in the category C. This means that it doesn’t … Continue reading Nice Things