最近私が勉強している依存型の圏論的意味論についてまとめていこうと思う。提唱したファイブレーションと内包圏を用いたものに触れていくつもりである。思っただけになると思う。各種概念の名称も日本語に翻訳していくつもりである。見つからなかった場合は独自に訳語を当てる。基本的な道具であるファイブレーションを定義する。型理論の文脈でも有用であることが分かり広く使われている。カルテシアン射に関する準備をする。以下の条件を満たすとする。ともに満たすものが唯一存在する。