Dualité de Chalons, par Saab Abou-Jaoudé (2 octobre 2013)
Réalisation (prise de vue et mise en page) : Stéphane Dugowson
Catégorie de Tukey
Catégorie de Tukey
1-réductions. Pré-ordre de Tukey.
1-réductions. Pré-ordre de Tukey.
Ordre de Tukey associé au pré-ordre de Tukey. Catégorie de Tukey.
Ordre de Tukey associé au pré-ordre de Tukey. Catégorie de Tukey.
Min et Max pour l'ordre de Tukey
Min et Max pour l'ordre de Tukey
Min et Max pour l'ordre de Tukey (suite)
Min et Max pour l'ordre de Tukey (suite)
Relation d'appartenance
Relation d'appartenance
Dualité
Dualité
remarque sur les notations (typage)
remarque sur les notations (typage)
Opérateur #
Opérateur #
Opérateur *
Opérateur *
Opérateur * (suite)
(nécessité des 2-réduction) [attention, cette partie contient une erreur, laquelle ?]
(nécessité des 2-réduction, suite) [attention, cette partie contient une erreur, laquelle ?]
[pause]
Opérateur * [correction de l'erreur précédente : pour le dual, les 1-réductions suffisent, en fait]
Bidual : calcul de R**, et comparaison avec R. Nécessité des 2-réductions (cette fois c'est juste)
R** < R : lemme de l'étoile
Conclusion. Langage téléphonique.
Conclusion. Langage téléphonique.