Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
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.