The closed graph theorem is the open mapping theorem

R. S. Monahan, P. L. Robinson

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