En las matemáticas, un paquete es una generalización de un paquete de fibra que cae la condición de una estructura de producto local. El requisito de una estructura de producto del local se basa sobre el paquete que tiene una topología . Sin este requisito, objetos más generales se pueden considerar los paquetes. Por ejemplo, uno puede considerar un π del paquete: El B del → del E con el E y del B fija que es no más verdad que debe el Preimages π⁻¹ ( x ) todo idéntico, desemejante de los paquetes de fibra donde las fibras deben todas ser el isomorfo (en el caso de vector lía y el homeomórfico.

Más generalmente, los paquetes o los objetos del paquete del se pueden definir en cualquier categoría : en un C de la categoría, un paquete es simplemente un π de Epimorphism : B DEL → DEL E . Si la categoría no es el concreto, después la noción de un preimage del mapa no está necesario disponible. Por lo tanto estos paquetes no pueden tener ninguna fibra en absoluto, aunque para las categorías suficientemente bien comportadas lo hagan; por ejemplo, porque una categoría con las retiradas y un objeto terminal 1 los puntos del B se pueden identificar con el p de los morphisms: 1→ el B y la fibra del p se obtiene como la retirada del p y del π. La sección (global) de A del paquete es un s del morphism: E del → del B tales que B del =id _{del s del π. La categoría de paquetes sobre el B es por lo tanto una subcategoría de la categoría ( B de la rebanada del ↓ del C ) de objetos sobre el B, mientras que la categoría de paquetes sin objeto bajo fijo es una subcategoría de la categoría ( C de la coma del ↓ del C ) que es también el C ² de la categoría de Functor, la categoría Morphisms en el C .}

Vale el observar de que la categoría de paquetes lisos del vector es un objeto del paquete sobre la categoría de múltiples lisos en el gato, la categoría de las pequeñas categorías . El Functor que lleva cada múltiple su paquete de la tangente es un ejemplo de una sección de este objeto del paquete.

opology-trozo

.