bitterharvest’s diary

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

2020-04-30から1日間の記事一覧

圏論:ストリング・ダイアグラム ー 自然変換

1.6 自然変換 対象の間をつないだものが射、圏の間をつないだものが関手、そして関手の間をつないだものが自然変換である。射での合成は、関手でも保存されたが、自然変換でも同じように保存される。関手は二つの圏を結ぶものであった。このため一方の圏…