>>725
線形代数を極限まで一般化したものを圏論という
線形がそんなに簡単だったらマクレーン:圏論の基礎を読みなさい