Isomorphisme dans les catégories

Cette séance de cours introduit le concept d'isomorphisme dans les catégories, définissant un morphisme comme un isomorphisme s'il a un inverse. Les objets a et b sont considérés comme isomorphes s'il existe un morphisme g: b → a tel que gof = Ida et brouillard = Idb. Un automorphisme est un isomorphisme avec un domaine et un codomain égaux, tandis qu'un groupoïde se compose de catégories où tous les morphismes sont des isomorphismes. La séance de cours traite également d'exemples de catégories et d'indices au sujet suivant : les functeurs.