Cloven Fibration
A Cartesian Fibration is cloven if it is equipped with a choice of Cartesian Lifts, as opposed to the lifts merely existing.
A Cartesian Fibration is cloven if it is equipped with a choice of Cartesian Lifts, as opposed to the lifts merely existing.