nLab continuous truth

Continuous truth

Idea

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.

References

  • Mike Fourman, Continuous Truth II: Reflections PDF

  • van der Hoeven, Moerdijk: On choice sequences determined by spreads.

  • Xu, Escardo: A constructive model of uniform continuity. 2013 PDF

Last revised on February 11, 2018 at 20:53:35. See the history of this page for a list of all contributions to it.