bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

Clevages and Cloven

そうそう、勉強会でもちょっと話した話題なのですが、cleavageとclovenってなんですか?(←完全教えて君モード)
ここでの話題に関連して、fibrationやらCartesian morphismやらに絡んで出てきたtermなのですが、ぐぐったりしてみても日本語訳とか、同じことを説明している文献とかを見つけられませんでした。

一応定義を引用します。

Let \varphi:{\bf D} \to {\bf C} be a functor. A choice of a Cartesian morphism for every {\bf C}-morphism f:c \to \varphi(d') and {\bf D}-object d' is called a cleavage. A fibration equipped with a cleavage is called cloven.
(Categories for Software Engineering Sec. 6.1.15 より)

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。