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.
New to topics? Read the docs here!
New to topics? Read the docs here!