cимплициальная категория

Симплициальная категория (также симпле́кс-категория, ординальная категория) — категория непустых конечных ординалов, морфизмы которой — монотонные функции. Играет важную роль в алгебраической топологии, является основной для таких конструкций, как и симплициальное множество. Симплициальная категория (иногда используется обозначение ) строится из объектов вида , где — натуральное число, и морфизмов таких, что из следует . Иными словами, объектами симплициальной категории являются конечные порядковые числа, а морфизмы — нестрого монотонные функции между ними. Порядковое число является начальным объектом категории, а — терминальным.