Семантика прилагательных в математической терминологии

[posic]

абелева категория = категория со свойством абелевости
точная категория (в смысле Квиллена) = категория с дополнительной структурой точности

аффинная схема = частный случай схемы
формальная схема = обобщение схемы

конечная группа = группа, подлежащее множество которой обладает свойством быть конечным
алгебраическая группа =
а) группа, подлежащее множество которой снабжено дополнительной структурой алгебраического многообразия;
б) не группа, но объект в категории алгебраических многообразий, аналогичный группе

квантовая группа = вообще совсем не группа, но некоммутативный аналог группового кольца/обертывающей алгебры/алгебры функций на группе