Konkreetsed funktorid p&usivate;sivate polügoonide kategooriate vahel

Olgu S ja T poolrühmad. Funktorit F mingist S-polügoonide kategooriast mingite T-polügoonide kategooriasse nimetatakse konkreetseks, kui komponeerides unustava funktoriga hulkade kategooriasse saame unustava funktori. Kui f: R -> S on poolrühmade homomorfism, siis tema poolt tekitatud toime kitsendamise funktor on konkreetne. Me näitame, et teatud eeldustel teistsuguseid konkreetseid funktoreid püsivate polügoonide kategooriate vahel ei olegi.