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

par Antoine El Khoury

Thèse de doctorat en Mathématiques, Informatiques

Sous la direction de Sergei Soloviev et de Mark Spivakovsky.

Soutenue en 2010

à Toulouse 3 .


  • Résumé

    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.

  • Titre traduit

    Methods for testing the communitativity of diagrams in the free and non-free symetric monoidal closed categories


  • Résumé

    The subject of this thesis belongs to the field of categorical proof theory, which lies somewhere between category theory and proof theory. It uses proof theoretical methods in solving problems related to some general matters in category theory, which are syntactical nature (for example, question of commuting diagrams in canonical structure of some freely generated category belonging to a particular class of categories). On the other hand, categrorical proof theory uses categories as contexts where comme questions of particular interest fo general proof theory may be correctly formulated and answered (for example, the question whether two dérivations are equal, which is the main question of general proof theory).

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (102 p.)
  • Annexes : Bibliogr. p. 101-102

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 2010 TOU3 0290
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.