Англо-русский словарь и русско-английский словарь онлайн

Создать акаунт
Где искать:
Толковые словари
Wikipedia (испанский)

Результаты поиска (1 из 1)

Categoría de conjuntos preordenados Искать примеры произношения

La categoría Ord tiene conjuntos preordenados como objetos y funciones crecientes como morfismos. Esto es una categoría porque la composición de dos funciones crecientes es asimismo creciente.

Los monomorfismos en Ord son las funciones crecientes inyectivas. El conjunto vacío (considerado como un conjunto ordenado) es el objeto inicial de Ord; cualquier singleton es un objeto terminal.

El producto en Ord viene dado por el orden producto en el producto cartesiano. El coproducto es dado por la unión disjunta de conjuntos preordenados.

http://es.wikipedia.org/wiki/Categor%C3%ADa%20de%20conjuntos%20preordenados


Словари, в которых найден искомый текст:
 Wikipedia (испанский) (1)