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.