Added \kappa-complete part of duality.