R. S. Monahan

The closed graph theorem is the open mapping theorem

We extend the closed graph theorem and the open mapping theorem to a context in which a natural duality interchanges their extensions.