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

1-réductions. Pré-ordre 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 (suite)

Relation d'appartenance

Dualité

remarque sur les notations (typage)

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.