bitterharvest’s diary

A Bitter Harvestは小説の題名。作者は豪州のPeter Yeldham。苦闘の末に勝ちえた偏見からの解放は命との引換になったという悲しい物語

2017-12-19から1日間の記事一覧

極限-錐と極限の抽象化

1.6 錐と極限の抽象化 前回の記事までで、インデックス圏を用いての粋と極限の求め方を説明してきた。その中では、インデックス圏から粋を作成しようとしている圏へ、三角形のまま移す関手と、一点にまとめる関手を用意した。前者は錐の底辺を形成し、後…