代数構造はみんなそんなもんだよ
線形写像の全体がまた線形空間になるように、再帰的に広がっていくのは圏論だからじゃないよ