Bibliographies thématiques / Monoidal structure / Thèses
Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Monoidal structure.

Thèses sur le sujet « Monoidal structure »

Auteur : Grafiati
Publié le 7 juin 2025
Mis à jour le 2 août 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 19 meilleures thèses pour votre recherche sur le sujet « Monoidal structure ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les thèses sur diverses disciplines et organisez correctement votre bibliographie.

1

Reischuk, Rebecca [Verfasser]. "The monoidal structure on strict polynomial functors / Rebecca Reischuk." Bielefeld : Universitätsbibliothek Bielefeld, 2016. http://d-nb.info/110564555X/34.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Staten, Corey. "Structure diagrams for symmetric monoidal 3-categories: a computadic approach." The Ohio State University, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=osu1525455392722049.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Aquilino, Cosima [Verfasser]. "On strict polynomial functors: monoidal structure and Cauchy filtration / Cosima Aquilino." Bielefeld : Universitätsbibliothek Bielefeld, 2016. http://d-nb.info/110754064X/34.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Aquilino, Cosima [Verfasser]. "On strict polynomial functors: monoidal structure and Cauchy filtration. (Ergänzte Version) / Cosima Aquilino." Bielefeld : Universitätsbibliothek Bielefeld, 2016. http://nbn-resolving.de/urn:nbn:de:hbz:361-29054451.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Kunhardt, Walter. "On infravacua and the superselection structure of theories with massless particles." Doctoral thesis, [S.l.] : [s.n.], 2001. http://deposit.ddb.de/cgi-bin/dokserv?idn=962816159.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Zeng, William J. "The abstract structure of quantum algorithms." Thesis, University of Oxford, 2015. https://ora.ox.ac.uk/objects/uuid:cace8fba-b533-42f7-b9fd-959f2412c2a7.

Texte intégral
Résumé :
Quantum information brings together theories of physics and computer science. This synthesis challenges the basic intuitions of both fields. In this thesis, we show that adopting a unified and general language for process theories advances foundations and practical applications of quantum information. Our first set of results analyze quantum algorithms with a process theoretic structure. We contribute new constructions of the Fourier transform and Pontryagin duality in dagger symmetric monoidal categories. We then use this setting to study generalized unitary oracles and give a new quantum bla
Styles APA, Harvard, Vancouver, ISO, etc.
7

Espalungue, d'Arros Sophie d'. "Operads in 2-categories and models of structure interchange." Electronic Thesis or Diss., Université de Lille (2022-....), 2023. http://www.theses.fr/2023ULILB053.

Texte intégral
Résumé :
Le but de cette thèse est de fournir une construction explicite d'une résolution cofibrante des opérades de Balteanu-Fiedorowicz-Schwänzl-Vogt M_n, qui régissent les catégories monoidales itérées.Dans une première partie de la thèse, nous examinons en détail la définition des structures monoïdales dans les 2-catégories, ainsi que la définition des opérades dans les 2-catégories monoïdales, en prenant la 2-catégorie des catégories comme exemple principal. Ensuite, nous démontrons que la catégorie des opérades dans la catégorie des petites catégories hérite d'une structure de modèle par transfer
Styles APA, Harvard, Vancouver, ISO, etc.
8

Li, Zhuo. "Orbit structure of finite and reductive monoids." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/nq21301.pdf.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Emtander, Eric. "Chordal and Complete Structures in Combinatorics and Commutative Algebra." Doctoral thesis, Stockholms universitet, Matematiska institutionen, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-48241.

Texte intégral
Résumé :
This thesis is divided into two parts. The first part is concerned with the commutative algebra of certain combinatorial structures arising from uniform hypergraphs. The main focus lies on two particular classes of hypergraphs called chordal hypergraphs and complete hypergraphs, respectively. Both these classes arise naturally as generalizations of the corresponding well known classes of simple graphs. The classes of chordal and complete hypergraphs are introduced and studied in Chapter 2 and Chapter 3 respectively. Chapter 4, that is the content of \cite{E5}, answers a question posed at the P
Styles APA, Harvard, Vancouver, ISO, etc.
10

Gay, Joël. "Representation of Monoids and Lattice Structures in the Combinatorics of Weyl Groups." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLS209/document.

Texte intégral
Résumé :
La combinatoire algébrique est le champ de recherche qui utilise des méthodes combinatoires et des algorithmes pour étudier les problèmes algébriques, et applique ensuite des outils algébriques à ces problèmes combinatoires. L’un des thèmes centraux de la combinatoire algébrique est l’étude des permutations car elles peuvent être interprétées de bien des manières (en tant que bijections, matrices de permutations, mais aussi mots sur des entiers, ordre totaux sur des entiers, sommets du permutaèdre…). Cette riche diversité de perspectives conduit alors aux généralisations suivantes du groupe sy
Styles APA, Harvard, Vancouver, ISO, etc.
11

Owusu-Mensah, Isaac. "Algebraic Structures on the Set of all Binary Operations over a Fixed Set." Ohio University / OhioLINK, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1584490788584639.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
12

Karaboghossian, Théo. "Invariants polynomiaux et structures algébriques d'objets combinatoires." Thesis, Bordeaux, 2020. http://www.theses.fr/2020BORD0123.

Texte intégral
Résumé :
Dans la première moitié de ce mémoire, nous étudions les invariants polynomiaux définis par Aguiar et Ardila dans arXiv:1709.07504 dans le contexte des monoïdes de Hopf. Nous donnons d'abord une interprétation combinatoire de ces polynômes pour les monoïdes de Hopf des permutaèdres généralisés et des hypergraphes,sur les entiers naturels et négatifs. Nous en déduisons ensuite des interprétations similaires sur d'autres objets combinatoires(graphes, complexes simpliciaux, building sets, etc).Dans la seconde moitié de ce mémoire, nous proposons une nouvelle façon de définir et d'étudier des opér
Styles APA, Harvard, Vancouver, ISO, etc.
13

Chamboredon, Jérémy. "Algorithmique des tresses et de l’autodistributivité." Caen, 2011. http://www.theses.fr/2011CAEN2016.

Texte intégral
Résumé :
Ce travail porte sur les propriétés algébriques des groupes de tresses d'Artin et des systèmes autodistributifs à gauche, des objets intimement liés. La première partie est une analyse syntaxique de la forme normale de Bressaud pour les tresses. Le principal résultat est une traduction en termes de systèmes de réécriture de l'existence de la forme normale, initialement établie par des méthodes géométriques. La seconde partie est centrée sur la conjecture de plongement pour l'autodistributivité, un des énoncés ouverts principaux du domaine. On discute les multiples approches (y compris calculat
Styles APA, Harvard, Vancouver, ISO, etc.
14

Maja, Pech. "Local methods for relational structures and their weak Krasneralgebras." Phd thesis, Univerzitet u Novom Sadu, Prirodno-matematički fakultet u Novom Sadu, 2009. http://dx.doi.org/10.2298/NS20090522PECH.

Texte intégral
Résumé :
In this thesis local methods are made available as a tool to study theunary parts of clones (or, equivalently, the weak Krasner algebras). Using thelanguage of model theory and Galois connections we develop a link betweenhomomorphism-homogeneous relational structures and local methods, via thenotion of endolocality. The theoretical results that are obtained are used to developa systematic theory for the classification of homomorphism-homogeneousrelational structures.<br>U ovoj tezi su razvijene lokalne metode koje se mogu koristiti za izu-ˇcavanje unarnih delova klonova (ili, ekvivalentno, sla
Styles APA, Harvard, Vancouver, ISO, etc.
15

McPhee, Jillian Dawn. "Endomorphisms of Fraïssé limits and automorphism groups of algebraically closed relational structures." Thesis, University of St Andrews, 2012. http://hdl.handle.net/10023/3358.

Texte intégral
Résumé :
Let Ω be the Fraïssé limit of a class of relational structures. We seek to answer the following semigroup theoretic question about Ω. What are the group H-classes, i.e. the maximal subgroups, of End(Ω)? Fraïssé limits for which we answer this question include the random graph R, the random directed graph D, the random tournament T, the random bipartite graph B, Henson's graphs G[subscript n] (for n greater or equal to 3) and the total order Q. The maximal subgroups of End(Ω) are closely connected to the automorphism groups of the relational structures induced by the images of idempotents from
Styles APA, Harvard, Vancouver, ISO, etc.
16

Slama, Franck. "Automatic generation of proof terms in dependently typed programming languages." Thesis, University of St Andrews, 2018. http://hdl.handle.net/10023/16451.

Texte intégral
Résumé :
Dependent type theories are a kind of mathematical foundations investigated both for the formalisation of mathematics and for reasoning about programs. They are implemented as the kernel of many proof assistants and programming languages with proofs (Coq, Agda, Idris, Dedukti, Matita, etc). Dependent types allow to encode elegantly and constructively the universal and existential quantifications of higher-order logics and are therefore adapted for writing logical propositions and proofs. However, their usage is not limited to the area of pure logic. Indeed, some recent work has shown that they
Styles APA, Harvard, Vancouver, ISO, etc.
17

Peterson, Clayton. "Analyse de la structure logique des inférences légales et modélisation du discours juridique." Thèse, 2014. http://hdl.handle.net/1866/11159.

Texte intégral
Résumé :
Thèse par articles.<br>La présente thèse fait état des avancées en logique déontique et propose des outils formels pertinents à l'analyse de la validité des inférences légales. D'emblée, la logique vise l'abstraction de différentes structures. Lorsqu'appliquée en argumentation, la logique permet de déterminer les conditions de validité des inférences, fournissant ainsi un critère afin de distinguer entre les bons et les mauvais raisonnements. Comme le montre la multitude de paradoxes en logique déontique, la modélisation des inférences normatives fait cependant face à divers problèmes. D'un po
Styles APA, Harvard, Vancouver, ISO, etc.
18

[Verfasser], Apirat Wanichsombat. "Algebraic structure of endomorphism monoids of finite graphs / von Apirat Wanichsombat." 2011. http://d-nb.info/1012674908/34.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
19

[Verfasser], Somnuek Worawiset. "The structure of endomorphism monoids of strong semilattices of left simple semigroups / von Somnuek Worawiset." 2011. http://d-nb.info/1012672573/34.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « Monoidal structure » pour d’autres types de sources :
Articles de revues
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie