bitterharvest’s diary

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

2020-05-15から1日間の記事一覧

圏論:ストリング・ダイアグラム ー 異なる随伴の定義が同値であることの証明

2.2 余単位-単位随伴による定義 随伴の定義には先に説明したもののほかに、いくつかの同値な言い換えがある。その中で、よく知られているものに、余単位(counit)-単位(unit)随伴がある。これは次のように定義される。圏\(\mathcal{C}\)と\(\mathcal{D}\)…