クラン（クラン、ファイブレーション、スパン）に、バート・ジェイコブスの意味での包括構造（「拡張包括構造のもうひとつの定式化」参照）を載せると包括クラン（「テレスコープと包括クラン」参照）になります。包括クランは、型理論の圏論的定式化の基本…