@mathmathniconico
これはどうもありがとうございます。あの見方は、結局米田埋め込みが極限を保つから、極限に対しては集合論的に扱えるという話になります。そう考えると、圏論の基本を学んだときにすでに出会っているはずのものなのですが、Leinsterの文章を読むまで気づかないものですね…
@mathmathniconico
これはどうもありがとうございます。あの見方は、結局米田埋め込みが極限を保つから、極限に対しては集合論的に扱えるという話になります。そう考えると、圏論の基本を学んだときにすでに出会っているはずのものなのですが、Leinsterの文章を読むまで気づかないものですね…
@paper3510mm
一般化元のPDF拝見しました。自分も最近Leinsterの文章を読んで、便利さにもっと早く気付けてたらなと思います