By submitting the following form, you agree to Club Z!'s Terms of Use and Privacy Policy
A natural transformation Φ = {Φ_C :F(C)->D(C)} between functors F, G:ℭ->D of categories ℭ and D is said to be a natural isomorphism if each of the components is an isomorphism in D.
category | category theory | functor | morphism | natural transformation | object | tensor category
Back to List | POWERED BY THE WOLFRAM LANGUAGE