Effective topos (original) (raw)
In mathematics, the effective topos is a topos introduced by Martin Hyland, based on Kleene's notion of recursive realizability, that captures the idea of effectivity in mathematics.
In mathematics, the effective topos is a topos introduced by Martin Hyland, based on Kleene's notion of recursive realizability, that captures the idea of effectivity in mathematics.