 We have only described how \(F\) maps sets to algebras, and \(U\) maps algebras to sets. However \(F\) also maps functions to homomorphisms, mapping each function \(f\) to its unique extension as a homomorphism, while \(U\) maps homomorphisms to functions, namely the homomorphism itself as a function. Such maps between categories are instances of functors.