2015-11-27から1日間の記事一覧

Awodey『圏論』第2章

圏論

本章で面白かったのは、例2.8の選択公理とエピ射の分裂との関連だった。謎の多い選択公理が群や環論でおなじみの分裂の概念と等価とあって軽いショックを受けた。圏論で数学基礎論を書きなおすというような試みもこんな仕掛けがからんでくるのかもしれない。…