圏論(1) - らんだむな記憶でふれた category の定義と 圏論(21)と arrows-only metacategory - らんだむな記憶でふれた arrows-only metacategory の定義の同値性を見る。 圏論(20) - らんだむな記憶でふれたことも重要になる。category の意味での identity…