décatégorifier
Français[modifier le wikicode]
Étymologie[modifier le wikicode]
Verbe [modifier le wikicode]
décatégorifier \de.ka.te.ɡɔ.ʁi.fje\ transitif 1er groupe (voir la conjugaison)
- (Mathématiques) Faire perdre son caractère catégorifié à.
- L’ensemble ℕ des entiers naturels positifs est la “décatégorification” de la catégorie Ensf des ensembles finis, décatégorifier voulant dire oublier les morphismes et identifier des objets isomorphes. — (Pierre Schapira, Catégories : de zéro à l’infini, disponible sur le site webusers.imj-prg.fr)
- On réalise ensuite l’algèbre de Temperley-Lieb comme anneau de Grothendieck scindé de la catégorie engendrée par ces bimodules, les objets indécomposables étant décatégorifiés sur la base dite des diagrammes. — (site math.univ-lyon1.fr, 29 juin 2016)
Antonymes[modifier le wikicode]
Traductions[modifier le wikicode]
Prononciation[modifier le wikicode]
- Somain (France) : écouter « décatégorifier [Prononciation ?] »