Les travaux présentés dans cette thèse concernent l'équivalence monoïdale de groupes quantiques localement compacts et ses applications. Nous généralisons au cas localement compact et régulier, deux résultats importants concernant les actions de groupes quantiques compacts. Soient G1 et G2 deux groupes quantiques localement compacts réguliers et monoïdalement équivalents. Nous développons un procédé d'induction des actions qui permet d'établir une équivalence canonique des catégories dont les objets sont les actions continues de G1 et G2 sur les C*-algèbres. Comme application de ce résultat, nous obtenons une équivalence canonique des catégories de KK-Théorie équivariante pour G1 et G2. Nous introduisons et étudions une notion d'actions sur les C*-algèbres, de groupoïdes quantiques mesurés sur une base finie. La preuve de la seconde équivalence s'appuie alors sur une version du théorème de bidualité de Takesaki-Takai pour les actions de groupoïdes quantiques mesurés sur une base finie. Enfin, nous terminons en définissant et étudiant une notion de modules hilbertiens équivariants pour des actions de groupoïdes quantiques mesurés sur une base finie. / This dissertation deals with the notion of monoidal equivalence of locally compact quantum groups and its applications. We generalize to the case of regular locally compact quantum groups, two important resultst concerning the actions of compact quantum groups. Let G1 and G2 be two regular locally compact quantum groups monoidally equivalent. We develop an induction procedure and we build an equivalence of the categories, whose objects are the continuous actions of G1 and G2 on C*-algebras. As an application of this result, we obtain a canonical equivalence of the categories of equivariant KK-theory for actions of G1 and G2. We introduce and investigate a notion of actions on C*-algebras of mesured quantum groupoids on a finite basis. The proof of the second equivalence relies on a version of the Takesaki-Takai duality theorem for continuous actions of measured quantum groupoids on a finite basis. We conclude by defining and studying a notion of equivariant Hilbert modules for actions of mesured quantum groupoids on a finite basis.

L'implantation actuelle des solveurs d'équations différentielles combine les deux méthodes de classification et de réduction d'ordre. La méthode de classification consiste à tester si l'équation à résoudre figure, modulo un renommage des variables, dans une liste d'équations que l'on sait résoudre. La méthode de réduction d'ordre, basée sur l'analyse des symétries de Lie, est réservée aux équations qui ne font pas partie de cette liste.<br /><br />En pratique, plusieurs difficultés apparaissent. Tout d'abord, le calcul des quadratures ainsi que l'intégration des systèmes d'EDP (même linéaires) n'est pas chose facile. De ce fait, il arrive souvent que le solveur se contente de retourner en sortie des résultats partiels, en particulier lorsque la dimension du (pseudo)groupe de symétries de l'équation à résoudre est petite. Enfonçons le clou : lorsque cette dimension est nulle, les solveurs, tel qu'il sont conçus actuellement, sont incapables d'intégrer ou même de réduire l'ordre de l'équation.<br /><br />Cette thèse s'inscrit donc dans l'effort d'amélioration des solveurs actuels. Nous allons présenter et montrer la faisabilité d'une architecture, totalement nouvelle, pour la conception d'un solveur d'équations différentielles basé sur la méthode d'équivalence de Cartan. Notre solveur utilise les invariants différentiels produits par la méthode de Cartan pour détecter l'existence d'une équation différentielle de la liste de Kamke, équivalente à l'équation que l'on veut résoudre et calculer le changement de variables qui réalise cette équivalence.<br /><br />Ceci dit, le calcul du changement de variables est une question qui peut être délicate. En général, il est solution d'un système d'EDP. Nous montrons que lorsque le pseudo-groupe des transformations autorisées est choisi tel que le pseudo-groupe de symétries de l'équation cible est discret, intuitivement, le changement de variables s'obtient sans intégrer d'équations différentielles uniquement en résolvant des équations algébriques.

Cette thèse de doctorat a pour sujet les modèles de la théorie homotopique des types avec l'Axiome d'Univalence introduit par Vladimir Voevodsky. L'auteur prend pour cadre de travail les définitions de type-theoretic model category, type-theoretic fibration category (cette dernière étant la notion de modèle considérée dans cette thèse) et d'univers dans une type-theoretic fibration category, définitions dues à Michael Shulman. La problématique principale de cette thèse consiste à approfondir notre compréhension de la stabilité de l'Axiome d'Univalence pour les catégories de préfaisceaux, en particulier pour les groupoïdes équipés d'une involution. / This PhD thesis deals with some new models of Homotopy Type Theory and the Univalence Axiom introduced by Vladimir Voevodsky. Our work takes place in the framework of the definitions of type-theoretic model categories, type-theoretic fibration categories (the notion of model under consideration in this thesis) and universe in a type-theoretic fibration category, definitions due to Michael Shulman. The goal of this thesis consists mainly in the exploration of the stability of the Univalence Axiom for categories of functors , especially for groupoids equipped with involutions.