定義 のコファイブラントな対象を集めた部分圏 のファイブラントな対象を集めた部分圏 のコファイブラントかつファイブラントな対象を集めた部分圏 で「射を右ホモトピーで分類したクラス」を射とする圏 で「射を左ホモトピーで分類したクラス」を射とする圏…