Symétrisable
- Adjectif singulier invariant en genre
Définition
- en mathématiques, pouvant être symétrisé, pouvant être rendu symétrique
"symétrisable" dans l'encyclopédie
-
ALGÉBRIQUES STRUCTURES
- Écrit par Jean-Marie PRUVOST-BEAURAIN
- 162 039 mots
Un groupoïde est une catégorie (E, λ) telle que tout élément de E soit symétrisable. Si une sous-catégorie d'une catégorie est un groupoïde, on peut l'appeler un sous-groupoïde de la catégorie. Tout homomorphisme d'une catégorie vers un groupoïde est un foncteur. Exemples : La catégorie des couples associée à un ensemble est un groupoïde. Le sous-magmoïde défini par l'ensemble des éléments symétrisables d'une catégorie est un sous-groupoïde de cette catégorie.
