Примеры важны не тогда, когда другие примеры являются их факторами. Свободные группы - далеко не самые интересные группы. Примеры важны, когда они появляются естественно.

Если теория модельных категорий рассматривает категорию Строма как патологический пример, то это значит только то, что она не приспособлена для изучения наиболее естественного примера. Видимо, я был неправ и зря приплел аксиомы Квиллена в дискуссии у Аввы. My point can be made without them.