>вполне можно мотивировать, привести примеры и осмыслить

Можно, но для этого надо сначала сделать это определение строгим,
а таких книг не существует.

>да и в математике тут где-то Каледин ругался по поводу модельных категорий, употребляя такие термины как уродство, затычка.

Модельные и особенно триагулированные категории — действительно затычки,
которые в настоящее время заменены ∞-категориями и стабильными ∞-категориями.
В тоже время модельные структуры постоянно всплывают при изучении
∞-категорий, так что исчезнут ли они полностью — непонятно,
чего, по-видимому, нельзя сказать про триангулированные категории.

(Reply to this) (Parent)