別の言い方をすると、逆圏からへの関手として、hom-関手は連続である。