The notion of locally ringed locales is for locales what locally ringed topological spaces are for topological spaces (and locally ringed toposes for toposes).
Last revised on December 12, 2023 at 20:12:45. See the history of this page for a list of all contributions to it.