Cartan-EilenbergにしろBourbakiにしろ圏論が登場して間もない頃に書かれたから
今から見ると圏論的に不十分な扱いをしている。
例えばBourbakiは過去スレpart2の748の同型が自然同型であることを述べていない。
テンソル積が右完全なのはそれが Hom の左随伴関手であるからであるが
彼等はそれについて述べていない。
当時は随伴関手という概念がまだ普及していない頃だから無理もないが。
lim と colim は圏論的に扱って始めてその本質が理解出来るが彼らは当然ながら不十分な扱いをしている。
etc.