-
English
-
Russian
-
German
-
English
-
Russian
-
German
Cofinal
UK
/kəʊˈfaɪnəl/
US
/koʊˈfaɪnəl/
Translation of "cofinal" into Russian
cofinal
Adjective
UK
/kəʊˈfaɪnəl/
US
/koʊˈfaɪnəl/
cofinal
more cofinal Comp.
most cofinal Super.
кофинальный
The cofinal sequence in the set is crucial for the proof.
Кофинальная последовательность в множестве имеет решающее значение для доказательства.
Definitions
cofinal
Adjective
UK
/kəʊˈfaɪnəl/
US
/koʊˈfaɪnəl/
Having the property that every element of one set is less than or equal to some element of another set, often used in the context of order theory or set theory.
In the context of ordinal numbers, a subset is cofinal if every ordinal is less than or equal to some element of the subset.
(Category theory) Of a functor: such that for every object of the codomain the comma category is non-empty and connected, ensuring that limits (or colimits) computed over the domain coincide with those over the codomain.
Since the inclusion functor Δ → Cat is cofinal, the colimit taken over Δ agrees with the one taken over Cat.