To see the other types of publications on this topic, follow the link: Monoidal structure.

Dissertations / Theses on the topic 'Monoidal structure'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 19 dissertations / theses for your research on the topic 'Monoidal structure.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
13

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
18

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!