暇つぶしに圏論やってる素人だけどこれ視点はどこにあるの?
集合から見て→がどこに行くかではなくて変換の図全体を知ってる「神の視点」で議論してる気がする

教材はベーシック圏論の和訳