Natural bijection
= Natural bijection
A natural bijection between set-valued <functors> is a <natural transformation> whose component functions are <bijections>. Their inverse functions are automatically natural, so it is a <natural isomorphism>.
= Natural bijection
A natural bijection between set-valued <functors> is a <natural transformation> whose component functions are <bijections>. Their inverse functions are automatically natural, so it is a <natural isomorphism>.