. . "Working in a slice category C/bC/b, a global element of the object ??:e???b\\pi: e o b is a map into it from the terminal object 1 b:b???b1_b: b o b; i.e., a right inverse for ??\\pi." . .