Cofinal

/kəʊˈfaɪnəl/

/koʊˈfaɪnəl/

Перевод слова "cofinal" на Русский язык

cofinal

Прилагательное

/kəʊˈfaɪnəl/

/koʊˈfaɪnəl/

cofinal

more cofinal Срав.

most cofinal Превосх.

кофинальный

The cofinal sequence in the set is crucial for the proof.

Кофинальная последовательность в множестве имеет решающее значение для доказательства.

Опеределения

cofinal

Прилагательное

/kəʊˈfaɪnəl/

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