Sekirov Dictionary

elementary topos

noun1

A Cartesian closed category which has a subobject classifier.

forms

elementary topoi · elementary toposes

This dictionary works without the internet: on your phone · in Chrome