Continuous truth provides a topos categorical semantics for Brouwer’s continuity principles in intuitionistic mathematics. The topos is intuitively the gros topos of sheaves on some category of spaces.
Last revised on February 11, 2018 at 20:53:35. See the history of this page for a list of all contributions to it.