CatégoriesPrésente les catégories comme des collections d'objets avec des morphismes et des morphismes d'identité.
Limites et limites : deux exemplesSe concentre sur les constructions pushout et pullback dans les ensembles, illustrant les limites et les limites avec des exemples explicites.