Симплициальное пространство
Симплициа́льное простра́нство, топологическое пространство , снабжённое таким покрытием топологическими симплексами (называемым триангуляцией), что грани любого симплекса триангуляции принадлежат триангуляции, пересечение любых двух симплексов триангуляции является гранью каждого из них (возможно, пустой); множество тогда и только тогда замкнуто, когда замкнуто его пересечение с любым симплексом триангуляции. Каждое симплициальное пространство является клеточным пространством. Задание триангуляции равносильно заданию гомеоморфизма , где – геометрическая реализация некоторой симплициальной схемы. Симплициальные пространства называются также симплициальными комплексами, симплициальными разбиениями. Симплициальные пространства являются объектами категории, морфизмами которой служат отображения, такие, что каждый симплекс триангуляции пространства линейно отображается на некоторый симплекс триангуляции пространства . Морфизмы называются также симплициальными отображениями.