What is the meaning of Elementary_topos?
A Cartesian closed category which has a subobject classifier.
Source: wiktionary.orgSearch words containing
A Cartesian closed category which has a subobject classifier.
Source: wiktionary.orgSearch words containing