LogoLogo

El Khoury, Antoine. Méthodes de vérification de la commutativité des diagrammes dans les catégories symétriques monoïdales fermées libres et non-libres

El Khoury, Antoine (2010). Méthodes de vérification de la commutativité des diagrammes dans les catégories symétriques monoïdales fermées libres et non-libres.

[img]
Preview
PDF - nécessite un logiciel de visualisation PDF comme GSview, Xpdf or Adobe Acrobat Reader
811Kb

Résumé en francais

Dans la thèse on s'occupe des méthodes et des algorithmes de vérifications de la commutativité des diagrammes dans les catégories symétriques monoidales fermées (catégories des modules, des semi-modules etc...). On démontre l'infinité de structures de catégories intermédiaires entre la structure des catégories libres et la structure triviale et on étudie l'utilisation des méthodes de la théorie de la démonstration pour la vérification de la commutativité dans ces cas intermédiaires.

Sous la direction du :
Directeur de thèse
Soloviev, Sergei
Spivakovsky, Mark
Ecole doctorale:Mathématiques, informatique, télécommunications de Toulouse (MITT)
laboratoire/Unité de recherche :Institut de Recherche en Informatique de Toulouse (IRIT), UMR 5505 ; Institut de Mathématiques de Toulouse (IMT), UMR 5219
Mots-clés libres :Catégories symétriques monoidales fermées - Modèles algébriques - Commutativité des diagrammes - Preuve - Vérification - Théorie de la preuve - Semi-modules
Sujets :Mathématiques
Déposé le :27 Aug 2012 11:18