
Pretopos
UK
/priːˈtɒpəs/
US
/priˈtɑːpəs/

Translation pretopos into russian
pretopos
NounUK
/priːˈtɒpəs/
US
/priˈtɑːpəs/
The mathematician explained the concept of a pretopos in the lecture.
Математик объяснил концепцию претопоса на лекции.
Definitions
pretopos
NounUK
/priːˈtɒpəs/
US
/priˈtɑːpəs/
In category theory, a pretopos is a category that has finite limits, is extensive, and has effective equivalence relations.
The category of sets is a pretopos because it satisfies the necessary conditions of having finite limits, being extensive, and having effective equivalence relations.