En topología, una rama de las matemáticas, un pan con valores en una categoría ∞ C que admite colimits es un funtor F de la categoría de subconjuntos abiertos de un espacio topológico X (más precisamente su nervio ) a C tal que
- (1) La F del conjunto vacío es el objeto inicial.
- (2) Para cualquier secuencia creciente de subconjuntos abiertos con unión U , el mapa canónico es una equivalencia.
- (3) es el empuje de y .
El ejemplo básico es donde a la derecha es el complejo de la cadena singular de U con coeficientes en un grupo abeliano A .
Ejemplo: [1] Si f es un mapa continuo, entonces es un pan dulce.
Ver también
Notas
Referencias
- http://www.math.harvard.edu/~lurie/282ynotes/LectureVIII-Poincare.pdf
- http://arxiv.org/pdf/1303.3255v1.pdf , sección 3, en particular Thm 3.10 p. 34