Вообще у теории симплициальных множеств есть много изоморфизмо | Формальна Філософія

Вообще у теории симплициальных множеств есть много изоморфизмов: теория инфинити категорий (сразу несколько моделей, квазикатегории, о них пойдет речь в следующих постах), теория струн, и т.д. Обеспечение открытого бесконечного глобулярного (n-размерного) когерентного (аналог композиции на n-уровнях) пространства — чистая геометрия. Вообще в геометрию мы выходим всегда если что-то обобщаем на бесконечности. Например в теоретической информатике, а именно теории типов — у нас есть два раздела: теория типов и их полиномиальные функторы (обычные индуктивные типы) с одной стороны, и, с другой стороны — гомотопическая теория типов (где есть глобулярные равенства, благодаря выброшенному эта-правилу Id типа) и их высших индуктивных типов (или CW-комплексов, так как любой CW-комплекс можно выразить через HIT и наоборот).