結論として圏論は必要となった時点でやればいい
つまり圏論は道具ってこと
ここが圏論が幾何とか数論と違うとこだろう
幾何とか数論は道具というよりむしろ研究対象だろう（幾何は物理学者にとっては道具かもしれないが）