Effective topos

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