Ну, ДГ-язык всё же вполне себе претендует на общеупотребимость. То есть высшая категорная наука, если не как у Лури, то как у Тоэна, имеет настоящее и будущее. Ты, кстати, не смотрел новую книжку Симпсона с его подходом к высшим категориям? Там, насколько я понимаю, основная техника -- построение модельной структуры на категории, оснащенной над некой другой модельной категорией. Оффтоп: а) куда тебе написать е-мейл с математическим вопросом? б) ты будешь в Москве в конце мая -- начале июня?