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 15:53:35. See the history of this page for a list of all contributions to it.