20191231084117
#今日の圏論
#ベーシック圏論
少し先まで読んでいくと、まさに対象を捨てたり足したりする場面が出てくるな。圏同値な充満部分圏を作って、はみ出た部分を捨てる話。それから同型な対象をポンポン放り込んでも圏同値であることは変わらない話。
#20191231
#20191231084117
https://twitter.com/hyuki/status/1211930312785088513