En la teoría de categorías , una rama de las matemáticas, un conjunto globular es una generalización de dimensiones superiores de un gráfico dirigido . Precisamente, es una secuencia de conjuntos equipado con pares de funciones tal que
(De forma equivalente, es una gavilla en la categoría de "globos".) Las letras " s ", " t " significan "fuente" y "destino" y uno imaginaconsta de aristas dirigidas en el nivel n .
Grothendieck utilizó una variante de la noción para introducir la noción de un grupoide ∞ . Ampliando el trabajo de Grothendieck, ( Maltsiniotis 2010 ) dio una definición de una categoría ∞ débil en términos de conjuntos globulares.
Referencias
- Dimitri Ara. Sobre la teoría de la homotopía de los ∞ -groupoides de Grothendieck. J. Pure Appl. Álgebra , 217 (7): 1237-1278, 2013, arXiv: 1206.2941.
- G. Maltsiniotis. Grothendieck ∞-groupoids y otra definición más de ∞-categorías, preimpresión, 2010.