Questions tagged [topos]
A topos, in the context of logic, refers to an elementary topos. It is a cartesian-closed category with finite limits and subobject classifiers.
0
questions
No questions found. Perhaps you'd like to select a different tab?