Effektive topos - Effective topos

I matematikk er den effektive topoen en topos introdusert av Martin Hyland  ( 1982 ), basert på Kleens forestilling om rekursiv realiserbarhet, som fanger ideen om effektivitet i matematikk.

referanser

  • Hyland, JME (1982), "The effective topos", i Troelstra, AS; Dalen, D. van, The LEJ Brouwer Centenary Symposium (Noordwijkerhout, 1981) , Studies in Logic and the Foundations of Mathematics, 110 , Amsterdam: North-Holland, s. 165–216, doi : 10.1016 / S0049-237X (09) 70129-6 , ISBN  978-0-444-86494-9 , MR  0717245
  • Kleene, SC (1945). "På tolkningen av intuisjonistisk tallteori". Journal of Symbolic Logic . 10 (4): 109–124. doi : 10.2307 / 2269016 . JSTOR  2269016 .
  • Phoa, Wesley (1992), En introduksjon til fibrasjoner, topos-teori, effektive topos og beskjedne sett
  • Bernadet, Alexis; Graham-Lengrand, Stéphane (2013). "En enkel presentasjon av effektive topos". arXiv : 1307.3832 .