dualizing complex

  1. redirectVerdier duality