Me preguntaba quién originó la presentación de la dualidad de Verdier como una equivalencia entre categorías de gavillas y cosenoides. Lo aprendí leyendo el Álgebra Superior de Jacob Lurie y el artículo de Justin Curry "Sheaves, cosheaves, and applications". Pero no dan ninguna referencia.
Ciertamente, este es un enfoque poco común para los geómetras algebraicos. ¿Ha sido desarrollado por los topólogos? ¿Forma esto parte de algún folclore o hay alguna referencia escrita?
Gracias.