Groupoïde

Une catégorie dont chaque morphisme est inversible : les objets forment une classe et les flèches entre objets se composent de manière associative, chaque objet possède une flèche identité, et toute flèche admet une réciproque bilatère. C'est une généralisation du groupe qui permet plusieurs objets tout en conservant des symétries locales de type groupe.