集合論の場合はベン図使って個数の処理するみたいな具体的でけっこう初等的な
使い道があったりするわけだけれどもそのくらいのレベルでの圏論の使い道ってのは
やっぱないのかね