>в математике есть два метода только, симметрия и линеаризация
только, понятие непрерывности и замкнутости забыл. они к линеаризации и симметрии никаким боком (линеаризации, разве что косвенно). А без них никак.

>У Картана-Эйленберга и пр. с этим была полная каша. А Гротендик полностью построил и предъявил

Трудно сказать. Ответьте честно (и хотя бы понятно обьясните):
Почему только "как у Гротендика" ?
Можно ли генерировать подобные теории пачками?