2015-12-03から1日間の記事一覧

Awodey『圏論』第3章

(2015/12/8 p.72 下から6行目『拡張』などを追記)さっそく間違い探しです。p.61 4行目 誤『また正しい文章となる』 正『また文法的に正しい文となる』 『正しい』の原文は『well-formed』なので、もちろん"真"という意味ではないですが、誤解を避けるために…