Cette séance de cours introduit le concept de catégories comme une collection d'objets avec des morphismes entre eux, y compris les morphismes identitaires distingués et la composition des morphismes en tant que fonctions. Il explique comment les catégories peuvent être partiellement ordonnées et considérées comme un ensemble avec des morphismes uniques.