Про критерій скінченності зображувального типу для сімейств категорій ін'єктивних зображень

Зображення ч. в. множин (частково впорядкованих множин), введені Л. А. Назаровою і А. В. Ройтером у 1972 р., відіграють важливу роль у сучасній теорії зображень та її застосуваннях. М. М. Клейнер отримав опис ч. в. множин скінченного зображувального типу в термінах критичних ч. в . множин (мінімальних ч. в. множин нескінченного зображувального типу), а Ю. А. Дрозд довів, що ч. в. множина S (яка не містить елемента, позначеного як 0) має скінченний зображувальний тип тоді і тільки тоді, коли її квадратична форма Тітсає слабко додатною, тобто додатною на множині невід’ємних векторів (у 1972 та 1974 роках відповідно). У цій статті ми розглядаємо ситуацію (що стосується нескінченних ч. в. множин), коли головну роль відіграє не слабка додатність, а додатність квадратичної форми Тітса. Ситуація стосується дослідження категорій зображень спеціального вигляду, і в цьому випадку ми використовуємо встановлений першим автором зв'язок між квадратичними формами Тітса для частково впорядкованих множин і комутативних сагайдаків.