A topos, in the context of logic, refers to an elementary topos. It is a cartesian-closed category with finite limits and subobject classifiers.
An elementary topos is a category that is:
For more information, see:
|
created |
2 years, 5 months ago |
|
viewed |
7 times |
|
active |
2 years, 5 months ago |
|
editors |
1 |
