Topic summary
Effective topos
In mathematics, the effective topos introduced by Martin Hyland (1982) captures the mathematical idea of effectivity within the category theoretical framework.
Topic summary
In mathematics, the effective topos introduced by Martin Hyland (1982) captures the mathematical idea of effectivity within the category theoretical framework.