La generalización funtorial de la B – transformada ideal, forma parte de la cohomología local básica, desarrollado en base a los funtores y categorías derivadas.