矢印が本質だから、工夫さえすれば集合論よりも簡単に説明できると思う