The closed graph theorem is the open mapping theorem
arXiv:1912.02626
Abstract
We extend the closed graph theorem and the open mapping theorem to a context in which a natural duality interchanges their extensions.
arXiv:1912.02626
We extend the closed graph theorem and the open mapping theorem to a context in which a natural duality interchanges their extensions.