2016-01-31から1日間の記事一覧

Awodey『圏論』第8章(8.4節まで)

8.1節の後半は代数的位相幾何学からの例だが、p.211のダイヤグラムはSimplicial Complexの説明である.圏の定義は7章のどこにあったかよくわからないが、8章末の問題4に『は有限順序数とその間の順序を保つ写像』とあるのでこれを採用すればよい.一番目の図…