(Pontificia Universidad Católica del Perú, 2005) Valqui Haase, Christian Holger
La categoría derivada es una construcción que invierte ciertos morfismos. Las herramientas requeridas se reducen al máximo en este trabajo para dar detalladamente esta construcción en el caso de pro-supercomplejos. También se muestra que es suficiente analizar a los objetos inyectivos.