Un sistema inverso es entonces el functor contravariante "I" → "C".