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.