Catégorification des degrés ludiques, par Christophe Chalons (9 et 16 décembre 2015)
Degrés de Tukey
Degrés de Tukey
Généralisation : Z-degrés de Tukey
Généralisation : Z-degrés de Tukey
La catégorie de Tukey
La catégorie de Tukey
Une catégorie cartésienne, co-complète et munie d'un foncteur contravariant involutif
Une catégorie cartésienne, co-complète et munie d'un foncteur contravariant involutif
Objet initial et objet terminal de la catégorie de Tukey
Objet initial et objet terminal de la catégorie de Tukey
Degrés local-Tukey
Degrés local-Tukey
Applications locales
Applications locales
Catégorie "locale J Tukey"
Catégorie "locale J Tukey"
Remarque sur les notations
Remarque sur les notations
Le foncteur j
Le foncteur j
Flèche canonique j(a) -> a
Flèche canonique j(a) -> a
Transformation naturelle can : j -> Id
Transformation naturelle can : j -> Id
Transformation naturelle cyn : j -> j o j
Transformation naturelle cyn : j -> j o j
Définition des degrés ludiques par l'existence d'une flèche de j(a) vers j(b)
Définition des degrés ludiques par l'existence d'une flèche de j(a) vers j(b)
Précisions sur j o j et sur la transformation cyn
Précisions sur j o j et sur la transformation cyn
Dualité des degrés ludiques
Dualité des degrés ludiques