elementary topos theory

GPTKB entity