a→bなる射は一つとは限らない
#今日の圏論
ところでa→bというとポインタをイメージしたくなるけど、ポインタとの違いはa→bなる射は一つとは限らないという点。dom f = dom g, cod f = cod g だとしてもf = g とは限らない。f =…
https://t.co/YP3o449RKi
#20181203
#20181203100746
ツイート