2018-08-01から1ヶ月間の記事一覧

モデル圏 圏の射の逆をつけ加えて 圏を局所化したいとき 合成によって さらに射が増えるけど 経由する対象が多すぎると 射が増えすぎてまずいので モデル圏の公理では ある種のリフトが最初からあったことにするんだなあみつを セル複体 ホモトピー論は どん…

π と arctan (1/n)

加法定理 より,よって, また, より,よって,また,したがって,