自然変換を定式化するために導入されたのが関手、関手を定義するために導入されたのが圏

圏論は難しいというより単純に導入経緯を知らないということが多いので整理しないといけない
というかすればしたでなんかしらできるようになる。その機会をみすみす捨てるのはもったいない。
圏論は他の理論を別の領域に適用するのに適しているんだから、整理はしないといけない。