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 for arbitrary poset-indexed functors F:\mathbf{P \rightarrow C from a category theory perspective.