20200512102215

今日は反対圏の勉強をしたので、簡単な圏の例の反対圏を実際に構成してみました。できたけど、簡単すぎたかも…対象が一つなので反対にしたおもしろみがあまり出ない？また別の圏でやってみよう。 https://t.co/uMwD55LWs1

https://img.hyuki.net/twitter-1260153305960812553-1.jpg