ド・ラーム復体とホモトピー - 檜山正幸のキマイラ飼育記 (はてなBlog) に書いた＋α ホモトピー圏： 局所化した圏 ホモトピカル圏： 局所化可能な圏の一種、弱同値を持つ圏とほぼ同じ ホモトピック圏： 鎖複体の圏の鎖ホモトピック合同関係で割った合同付き…

重要な概念$`\newcommand{\For}{\mbox{For }}% \newcommand{\hyp}{\mbox{-}}% \newcommand{\In}{\mbox{ in }}% \newcommand{\Iff}{\Leftrightarrow}% \newcommand{\WeDefine}{\mbox{WeDefine } }% \newcommand{\CAT}{{\bf CAT}}% \newcommand{\st}{\mbox{ s.…