If η is a natural transformation from "F" to "G", we also write η: "F" → "G" or η: "F" ⇒ "G".
Two functors "F" and "G" are called "naturally isomorphic" or simply "isomorphic" if there exists a natural isomorphism from "F" to "G". If η is a natural transformation from "F" to "G", we also write or.
If η is a natural transformation from "F" to "G", we also write or. Two functors "F" and "G" are called "naturally isomorphic" or simply "isomorphic" if there exists a natural isomorphism from "F" to "G".
If η is a natural transformation from "F" to "G", we also write or. Two functors "F" and "G" are called "naturally isomorphic" or simply "isomorphic" if there exists a natural isomorphism from "F" to "G".