Effective topos

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.