Kaasfunktoriteoreem (The adjoint functor theorem) on
kategooriateooria �ks kesksemaid tulemusi. Funktorid hulkade
kategooriasse on loomulikult ekvivalentsed teatud pol�goonidega
�le kategooriate. Osutub, et kaasfunktoriteoreemi on v�imalik
vaadelda homoloogilise klassifikatsiooni tulemusena, mis
kirjeldab, millal j�reldub m�nest n�rgemast omadusest 1-vabadus.
Selline vaatekoht annab v�imaluse tuletada mitmeid erinevaid versioone
sellest teoreemist.