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.