CR categories have appeared in the literature under a variety of different names, including p-category with a one-element object [1]} and partially cartesian category [2]}. For our development, it is crucial that the data of CR categories can be equivalently captured as follows:
