Depuis quelques décennies, les actions conventionnelles des personnes publiques ont connu un remarquable essor. Elles recouvrent toutefois des réalités variables. Il est fréquent que les actes signés comportent certains éléments caractéristiques des contrats mais ne produisent ni droit ni obligation à l’égard des parties. Dans ces hypothèses, les appareils conceptuels traditionnels ne suffisent pas à rendre compte des pratiques administratives. En l’état du droit, les qualificateurs n’ont guère le choix. Ils doivent opter pour l’une des deux possibilités admises : soit l’acte est un authentique contrat, soit il relève du non-droit. De sorte qu’il existe aujourd’hui un décalage entre les outils théoriques et les moyens administratifs. Cela invite à tracer les contours d’une nouvelle catégorie d’actes conventionnels, nommés conventions d’administration, dont les stipulations ne comprennent que des énoncés directifs, c’est-à-dire dépourvus d’impérativité. Élaborée au terme d’un examen matériel, elle peut être conçue comme une espèce relevant d’un genre, celui des actes conventionnels, dont l’identification procède d’une analyse formelle. Les conventions d’administration se trouvent ainsi séparées des contrats. Et il est possible de corroborer cette distinction en mettant en exergue leur fonction substitutive. Phénomènes juridiques et administratifs, les conventions d’administration sont en outre soumises à quelques normes et subissent des contrôles perfectibles. Adopter une telle approche permet non seulement de mieux rendre compte des instruments contemporains, et de les soumettre à un encadrement adapté, mais redonne aussi à la notion de contrat sa cohérence. / In a few decades, the conventional actions of the public persons knew a remarkable development. Nevertheless, it is frequent that the signed acts contain certain characteristic elements of contracts but do not produce either straight ahead or obligation towards the parties. In these hypotheses, the traditional theoretical concepts are not enough to report administrative practices. Those who qualify have to opt for one of both accepted possibilities: either the act is an authentic contract, or it recovers from the non-law. It invites to draw the outlines of a new category of conventional acts, named agreements of administration, the conditions of which include only directive statements, that is devoid of imperative sentences. Elaborated in the term of a material examination, it can be conceived as a sort recovering from a kind, that of the conventional acts, the identification of which proceeds of a formal analysis. The agreements of administration are so separated from contracts. And it is possible to confirm this distinction by highlighting their substitute function. Legal and administrative phenomena, the agreements of administration are besides subjected to some rules and undergo perfectible controls. Such an approach allows not only to report better contemporary instruments, and to subject them to an adapted control, but also restore in the notion of contract its coherence.

En génie logiciel, les méthodes modernes de développement (ex. le MDA) s'appuient de manière cruciale sur les notions de modélisation et de transformation. Ces méthodes peuvent s'interpréter à l'aide de la théorie des graphes. La difficulté théorique réside aujourd'hui dans l'ajout sur ces graphes de données supplémentaires sur lesquelles il est nécessaire de pouvoir effectuer des calculs. Notre travail s'est focalisé sur le développement d'un cadre mathématique sûr afin d'appliquer ces transformations. Les théories des catégories (à travers le double pushout) et des types inductifs (fonctions de calcul très expressives) nous ont permis de donner une solution unifiée à ce problème dans laquelle une seule opération permet de travailler sur la structure et de calculer avec les attributs en définissant des fonctions entre graphes possédant une partie contravariante pour le travail sur les attributs. De plus, les propriétés usuelles des systèmes de récriture sont vérifiées.

Le but de cette thèse est de catégorifier des algèbres amassées antisymétrisables. Unegrande variété de cas antisymétriques a déjà été traitée par exemple par Keller, Caldero-Keller, Geiß-Leclerc-Schröer, Dehy-Keller, Fu-Keller, Palu. Pour ce faire, on utilise descatégories exactes stablement 2-Calabi-Yau. Pour traiter le cas antisymétrisable, nous considérons l'action d'un groupe fini sur une telle catégorie et nous introduisons unecatégorie équivariante associée qui est encore stablement 2-Calabi-Yau. Nous dévelop-pons une théorie des mutations pour ses objets rigides invariants. Une grande famille d'exemples est fournie par les catégories de représentations d'algèbres préprojectives : par exemple, si l'on prend la catégorie des représentations de l'algèbre préprojective de diagramme A(2n-1) muni de son automorphisme d'ordre 2, on obtient l'algèbre amassée des fonctions sur le groupe de Lie unipotent de type C(n). On peut de la même façon obtenir toutes les algèbres amassées de fonctions sur les sous-groupes unipotents maximaux des groupes de Lie semi-simple. Par ailleurs, on peut construire ainsi toutes les algèbres amassées de type fini. Toutes ces catégorifications nous permettent de démontrer, pour les algèbres amassées correspondantes, une conjecture de Fomin et Zelevinsky qui affirme l'indépendance linéaire des monômes d'amas.

Nous introduisons les variables génériques dans une algèbre amassée acyclique $\mathcal A(Q)$. Nous explicitons ces variables en termes de théorie AR de l'algèbre des chemins $kQ$ et montrons qu'elles forment une $\mathbb Z$-base pour une certaine classe d'algèbres amassées comprenant les algèbres amassées affines de type $\tilde A$. <br /><br />Nous introduisons des polynômes de Chebyshev généralisés grâce auxquels nous pouvons montrer des formules de multiplications de type Caldero-Keller pour les variables associées aux $kQ$-modules réguliers.<br /><br />Nous donnons une démonstration simplifiée d'un résultat de Buan, Marsh et Reiten interprétant les dénominateurs des variables d'amas en termes de théorie de basculement dans la catégorie amassée. Nous étudions aussi la compatibilité entre application Caldero-Chapoton et foncteurs BGP étendus.<br /><br />Enfin, nous réalisons les algèbres amassées non simplement lacées comme sous-algèbres de quotients d'algèbres simplement lacées munies d'un groupe d'automorphismes.

Cette thèse est une contribution à la théorie homotopique des schémas. Dans la première partie, on poursuit les constructions de Fabien Morel et Vladimir Voevodsky en définissant la catégorie homotopique stable des sites suspendus avec intervalles. La généralité, plus grande que celle permise par la définition de John F. Jardine, permet de donner une construction rigoureuse des foncteurs " points complexes " en théorie homotopique des schémas.<br /><br />Dans la seconde partie, on montre qu'au-dessus d'un schéma de base régulier S, se donner un endomorphisme dans la catégorie homotopique de S de la grassmannienne infinie (donnant un modèle de la K-théorie algébrique d'après un théorème de Morel et Voevodsky) revient à se donner une application fonctorielle K_0(X) -> K_0(X) où X parcourt la catégorie des schémas lisses sur S. Ceci permet de construire une structure de lambda-anneau spécial sur les groupes de K-théorie algébrique supérieure et de vérifier que cette structure coïncide avec les constructions antérieures. Les opérations additives sur la K-théorie algébrique sont étudiées en détail et des versions stables de ces énoncés sont obtenues, à coefficients entiers ou rationnels. La technique utilisée permet également de construire des classes de Chern sur la K-théorie algébrique supérieure à valeurs dans la cohomologie motivique (et dans d'autres théories cohomologiques) et de montrer très explicitement l'existence de morphismes stablement fantômes en théorie homotopique des schémas.

L'objectif de cette thèse est de développer une sémantique d'ordre supérieur pour l'information quantique. S'appuyant sur les travaux de master (M.Sc.) de l'auteur, nous étudions un lambda-calcul pour le calcul quantique avec contrôle classique. Le langage comporte deux aspects. Le premier, émanant du théorème dit de « no-cloning » de l'information quantique, est le besoin de distinguer entre les données duplicables et celles non-duplicables. Pour tenir compte de la duplicabilité à l'ordre supérieur, nous utilisons un système de types inspiré par la logique linéaire, logique sensible à la notion de ressource. Le deuxième aspect important est l'effet de bord probabiliste émanant de la mesure, seule opération permettant de récupérer une information classique à partir de données quantiques. Cet effet de bord nous oblige à choisir une stratégie de réduction pour pouvoir être en mesure de définir une sémantique opérationnelle. Nous résolvons le problème de la sémantique dénotationnelle de deux façons. D'abord, en restreignant l'étude du langage au fragment strictement linéaire. Ce faisant, on supprime le besoin de distinguer entre structure duplicable et structure non-duplicable. Il est alors possible de se concentrer sur la description des caractéristiques du calcul quantique. En utilisant la catégorie des fonctions strictement positives (CPM), nous construisons un modèle dénotationnel « fully-abstract », c'est-à-dire caractérisant exactement l'équivalence opérationnelle du fragment strictement linéaire. L'étude du langage au complet est plus compliquée. Pour tenir compte de l'aspect probabiliste du langage, nous utilisons une méthode développée par Moggi et construisons un modèle distinguant la notion de résultat, ou valeur, de la notion de calcul (« computational model »). Pour traiter la distinction entre donnée duplicable et donnée non-duplicable, nous adaptons la notion de catégorie linéaire développée par Bierman, où la notion de duplication est interprétée comme une comonade avec des propriétés particulières. Le modèle issu de ce travail est ce que nous avons appelé une catégorie linéaire pour la duplication. Dans un dernier temps, le langage est restreint en ne considérant que la notion d'effet de bord et la distinction éléments duplicables – éléments non-duplicables pour obtenir un lambda-calcul linéaire générique. Dans ce contexte, nous montrons que la notion de catégorie linéaire de duplication est une interprétation « full and complete » pour le langage.

En commentant certains résultats des sciences physiques ou mathématiques, plus particulièrement de la seconde moitié du XXe siècle, on cherche à comprendre l'importance philosophique du concept de diagramme, qui est au cœur de la théorie mathématique des catégories, des topoi et des esquisses. Partant du constat que les diagrammes et catégories contraignent à des options ontologiques, on propose pour étudier leur disposition conjointe de suivre quatre concepts fondamentaux qui forment le quadrilatère épistémique (la virtualité, la fonctorialité, l'universalité et la dualité). Le virtuel est nécessaire parce qu'une table n'existe pas de la même manière que le bleu du ciel qui n'a pas de réalité matérielle. La fonctorialité et le lemme de Yoneda imposent de reconsidérer le statut de l'objet. Le théorème de Diaconescu illustre l'idée que la logique immanente d'un lieu est déterminée par le topologique, que la logique n'a pas l'importance qu'on lui accorde parfois. L'universalité et la dualité déplace la notion de vérité qui n'est plus une simple valuation, mais une vérité-foudre, une vérité-événement qui fonctionne par adéquation et résonance de pans entiers de connaissance et non plus par inférence logique. Le diagramme devient le lieu de cette vérité qui passe par le geste. Dès lors, il devient possible de croiser ontologie et topologie en une onto-(po)-logie (ou une ontologie toposique) qui ne soit pas en contraction avec les philosophies de l'immanence. L'univocité de l'Être ne s'oppose pas à l'approche catégorielle. Plus encore : la prégnance des formes duales incite à penser l'hypothèse que l'Un est le dual de l'Être.

Dans cette thèse on montre que tout groupe compact peut être réalisé comme le groupe d'automorphismes extérieurs d'un facteur de type II_1. On montre également que la catégorie des représentations de tout groupe compact est équivalente à la catégorie des bimodules sur un facteur de type II_1. Plusieurs chapitres de cette thèse sont également consacrés à des rappels détaillés concernant la catégorie des bimodules sur un facteur de type II_1 ainsi que sur les actions minimales de groupes compacts sur des facteurs de type II_1.

Dans cette thèse, on donne une définition de la K-théorie topologique des espaces non-commutatifs de Kontsevich (c'est-à-dire des dg-catégories) définis sur les nombres complexes. L'introduction de ce nouvel invariant initie la recherche des invariants de nature topologique des espaces non-commutatifs, comme "simplifications" des invariants algébriques (K-théorie algébrique, homologie cyclique, périodique comme étudiés dans les travaux de Tsygan, Keller). La motivation principale vient de la théorie de Hodge non-commutative au sens de Katzarkov--Kontsevich--Pantev. En géométrie algébrique, la partie rationnelle de la structure de Hodge est donnée par la cohomologie de Betti rationnelle, qui est la cohomologie rationnelle de l'espace des points complexes du schéma. La recherche d'un espace associé à une dg-catégorie trouve une première réponse avec le champ (défini par Toën--Vaquié) classifiant les dg-modules parfaits sur cette dg-catégorie. La définition de la K-théorie topologique a pour ingrédient essentiel le foncteur de réalisation topologique des préfaisceaux en spectres sur le site des schémas de type fini sur les complexes. La partie connective de la K-théorie semi-topologique peut être définie comme la réalisation topologique du champ en monoïdes commutatifs des dg-modules parfaits. Cependant pour atteindre la K-théorie négative, on réalise le préfaisceau donné par la K-théorie algébrique non-connective. Un de nos résultats principaux énonce l'existence d'une équivalence naturelle entre ces deux définitions dans le cas connectif. On montre que la réalisation topologique du préfaisceau de K-théorie algébrique connective pour la dg-catégorie unité donne le spectre de K-théorie topologique usuel. Puis que c'est aussi vrai pour la K-théorie algébrique non-connective, en utilisant la propriété de restriction aux lisses de la réalisation topologique. En outre, cette propriété de restriction aux schémas lisses nécessite de montrer une généralisation de la descente propre cohomologique de Deligne, dans le cadre homotopique non-abélien.La K-théorie topologique est alors définie en localisant par rapport à l'élément de Bott. Cette définition repose donc sur des résultats non-triviaux. On montre alors que le caractère de Chern de la K-théorie algébrique vers l'homologie périodique se factorise par la K-théorie topologique, donnant un candidat naturel pour la partie rationnelle d'une structure de Hodge non-commutative sur l'homologie périodique, ceci étant énoncé sous la forme de la conjecture du réseau. Notre premier résultat de comparaison concerne le cas d'un schéma lisse de type fini sur les complexes -- la conjecture du réseau est alors vraie pour de tels schémas. On montre ensuite que cette conjecture est vraie dans le cas des algèbres associatives de dimension finie.

Dans le dernier siècle, nombreux sciences ont enrichi leur syntaxe pour pouvoir modeler des interactions. Entre eux on peut compter l'informatique, la physique quantique, et aussi la biologie et l’économie : toutes ces sciences sont des exemples de domaines qui ont besoin d'une syntaxe et d'une sémantique soit pour la concurrence que pour la séquentialité.Les diagrammes des cordes sont bien adapté à cet effet. Dans leur syntaxe on peut retrouver deux compositions : une composition parallèle et une composition séquentielle, qui peuvent interagir à travers une loi d'interchange. Si on considère cette loi comme une égalité, les diagrammes de cordes sont une syntaxe pour les catégories monoidales strictes, avec une représentation graphique plus intuitive que les formules algébriques traditionnelles.Dans cette thèse, on étude cette syntaxe de dimension 2 et sa sémantique. On considéré la réécriture des diagrammes et on donne des applications de cet méthode :- une preuve détaillée du théorème de cohérence de MacLanes pour les catégories monoidales symétriques basée sur un système de réécriture convergent donnée en arXiv:1606.01722;;- une interprétation des dérivations de preuves avec les diagrammes de preuve pour le fragment MELL de la logique linéaire, qui capture l’équivalence de preuves. On peut vérifier la séquentialité en temps linéaire, c'est à dire vérifier si un diagramme corresponds à une preuve. Cette interprétation est une extension de celle pour le fragment MLL donnée en arXiv:1606.09016 en donnant aussi un résultat de élimination du coupure. / In the last century, several sciences enriched their syntax in order to model interactions.Not only computer science and quantum physics, but also biology and economicsare examples of fields requiring syntax and semantics for concurrency as wellas for sequentiality.String diagrams are suitable for that purpose. In that syntax, we have two compositions:the parallel one and the sequential one, which may interact by the interchangerule. If we consider this rule as an equality, string diagrams are a syntax for strictmonoidal categories, with a more intuitive graphical representation than traditionalalgebraic formulas.In this thesis, we study this 2-dimensional syntax and its semantics. We considerdiagram rewriting and we give two applications of those methods:• a detailed proof of Mac Lane’s coherence theorem for symmetric monoidal categoriesbased on convergent diagram rewriting, which is given in arXiv:1606.01722;• an interpretation of proof derivations by string diagrams for the MELL fragmentof linear logic, which captures proof equivalence. We get a linear sequentializabilitytest to verify if a diagram corresponds to a proof . This interpretationextends the one for the MLL fragment given in arXiv:1606.09016,providing also a cut-elimination result.