This lecture introduces the trivial functor of a category, defining it as a pair of functions that preserve identities and compositions. The properties of the trivial functor are explored, motivated by the analysis of specific cases. The lecture covers the adjoint functor to the orbits functor, emphasizing its existence conditions and natural isomorphisms.