Pretopos

Übersetzung von "pretopos" ins Russisch

pretopos

Substantiv

/priːˈtɒpəs/

/priˈtɑːpəs/

pretopos

pretopoi Pl.

pretoposes Pl.

претопос

The mathematician explained the concept of a pretopos in the lecture.

Математик объяснил концепцию претопоса на лекции.

Definitionen

pretopos

Substantiv

/priːˈtɒpəs/

/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.

pretopos

Adjektiv

/priːˈtɒpəs/

/priˈtɑːpəs/

Relating to or characteristic of a pretopos (a category with finite limits, that is extensive, and has effective equivalence relations).

The pretopos completion of any coherent category is exact.

Übersetzungen
Definitionen