Estoy buscando una referencia completa (para fines de citación) que exponga los hechos básicos de la equivalencia entre $G$-espacios y paquetes sobre $BG$ para un grupo discreto $G$. Me gustaría que también incluyera las identificaciones de las diversas estructuras auxiliares: representaciones $G$ a sistemas locales, cohomología de grupos a cohomología con coeficientes locales, cohomología (Borel) equivariante y cohomología del espacio total del paquete, la secuencia espectral de Hochschild-Serre y la secuencia espectral de Serre de la fibración.
Esto parece material fundamental, pero me ha resultado sorprendentemente difícil de encontrar en alguna referencia; ¿alguien me puede ayudar?
