In mathematics, the effective topos E f f {\displaystyle {\mathsf {Eff}}} introduced by Martin Hyland (1982) captures the mathematical idea of effectivity within the category theoretical framework.