>>452
圏論のカッコいいところは集合の要素ひとつひとつに言及せずに射だけで話を完結できる点
集合論で説明するときは集合がwell-defineか検証した上で　具体例→抽象化→具体例　という手順が必要だけど、圏論だといきなり　抽象→具体例　で説明できる