2022-06-26から1日間の記事一覧

無限圏の高次の射3

無限圏

前回（ 無限圏の高次の射2 - 思翠と想華 ）は右射の空間 を定義し、 における射や左ホモトピーを考察することで、無限圏 における高次の右射を定義しました。今回は が Kan 複体であることを示します。