Шаровидный набор - Globular set

В теория категорий, раздел математики, шаровидный набор является многомерным обобщением ориентированный граф. Точнее, это последовательность множеств ${ Displaystyle X_ {0}, X_ {1}, X_ {2}, точки}$ оснащен парами функций ${ displaystyle s_ {n}, t_ {n}: X_ {n} to X_ {n-1}}$ такой, что

• ${ displaystyle s_ {n} circ s_ {n + 1} = s_ {n} circ t_ {n + 1},}$
• ${ displaystyle t_ {n} circ s_ {n + 1} = t_ {n} circ t_ {n + 1}.}$

(Эквивалентно, это предпучка по категории «глобусы».) Буквы "s", "т"стоять для" источника "и" цели ", и каждый воображает ${ displaystyle X_ {n}}$ состоит из направленных кромок на уровнеп.

Вариант понятия был использован Гротендик ввести понятие ∞-группоид. Расширяя работу Гротендика, (Мальциниотис 2010 ) ошибка harv: цель отсутствует: CITEREFMaltsiniotis2010 (помощь) дал определение слабая ∞-категория в терминах глобулярных множеств.

Рекомендации

• Дмитрий Ара. К гомотопической теории ∞ -группоидов Гротендика. J. Pure Appl. Алгебра, 217 (7): 1237–1278, 2013, arXiv: 1206.2941.
• G. Maltsiniotis. ∞-группоиды Гротендика и еще одно определение ∞-категорий, препринт, 2010.

внешняя ссылка

• https://ncatlab.org/nlab/show/globular+set

Этот теория категорий -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.