Es de notar que un sistema inverso en la categoría "C" admite una descripción alternativa mediante functors.