そうそう、勉強会でもちょっと話した話題なのですが、cleavageとclovenってなんですか?(←完全教えて君モード)
ここでの話題に関連して、fibrationやらCartesian morphismやらに絡んで出てきたtermなのですが、ぐぐったりしてみても日本語訳とか、同じことを説明している文献とかを見つけられませんでした。
一応定義を引用します。
Let be a functor. A choice of a Cartesian morphism for every -morphism and -object is called a cleavage. A fibration equipped with a cleavage is called cloven.
(Categories for Software Engineering Sec. 6.1.15 より)