Natural transformation. It’s like the first discovery that justifies the field of category theory.
j previous speech k next speech