ホモトピー

モデル構造の公理と弱いバージョン

条件(公理)が意外と多いな。 完備性と余完備性: 有限完備・余完備じゃなくて、任意の小さい図式が極限・余極限を持つことを要求している。この時点でけっこう厳しい条件だ。これは守れないなー。 弱同地/ファイブレーション/コファイブレーションのクラ…

オートマトンの観測ホモトピー論

次のいずれかの構造をホモトピー様構造と呼ぶことにする。 キレン・モデル構造 ホモトピー的構造〈homotopical structure〉 相対構造 対応するホモトピー様構造を持つ圏〈category with homotopy-like structure〉は: キレン・モデル圏 ホモトピー的圏 相対…

講義動画

https://www.youtube.com/watch?v=q8J0bbaZnRM バーグナー https://www.youtube.com/watch?v=2TmT-ui-0sU インナ(first name) https://www.youtube.com/watch?v=1QFC4clQQAE François Métayer https://www.youtube.com/watch?v=52HujNvYbAY ショマー=プリ Mé…