Bibliografie tematiche / Monoidal structures / Tesi
Segui questo link per vedere altri tipi di pubblicazioni sul tema: Monoidal structures.

Tesi sul tema "Monoidal structures"

Autore: Grafiati
Pubblicato: 22 giugno 2024

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-19 saggi (tesi di laurea o di dottorato) per l'attività di ricerca sul tema "Monoidal structures".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi le tesi di molte aree scientifiche e compila una bibliografia corretta.

1

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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
2

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
12

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
13

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
17

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
18

[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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
19

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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!

Vai alla bibliografia