>>487
圏論の命題の証明を追うのに具体例は不要
むしろ邪魔

しかし、圏論を応用する場合は別