Püsivad polügonid ja separaablid funktorid

Funktori separaablus defineeritakse tema poolt morfismihulkade vahel tekitatud kujutuste vasakult pööratavuse abil. Iga täielik ja täpne (full and faithful) funktor on separaabel ja iga separaabel funktor on täpne.

Selles ettekandes tuleb juttu teatud funktorite separaablusest püsivate polügonide (firm act) kategooriate vahel.