>А без них никак.

Кому как, я обычно не использую (хотя конечно да, согласен, просто не использую и потому забыл).

>Почему только "как у Гротендика" ?

В смысле? А как эту историю "не как у Гротендика" можно хотя бы начать? Где базовый линейный объект, на котором определены наши функторы, которые мы будем потом улучшать?

>Можно ли генерировать подобные теории пачками?

Никто не генерировал пока, ни пачками, никак. Какие именно "подобные теории", о чем мы вообще?