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 coherence 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