Before revision:  Our construction allows us to extend the notion of   \rightarrow C from a category theory perspective.
After revision:  Our construction allows us to extend the notion of rank invariant \rightarrow C from a category theory perspective.