Natural transformation. It’s like the first discovery that justifies the field of category theory.
j 下一段next speechk 上一段previous speech
