Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/80612
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.advisor | Kahl, Thomas | por |
dc.contributor.author | Faustino, Catarina Justino | por |
dc.date.accessioned | 2022-11-11T15:06:13Z | - |
dc.date.available | 2022-11-11T15:06:13Z | - |
dc.date.issued | 2021 | - |
dc.date.submitted | 2021 | - |
dc.identifier.uri | https://hdl.handle.net/1822/80612 | - |
dc.description | Dissertação de mestrado em Matemática | por |
dc.description.abstract | No âmbito da sua investigação em topologia algébrica dirigida, Marco Grandis desenvolveu uma teoria de homologia dirigida para conjuntos cúbicos. Neste trabalho adaptamos a teoria de Grandis para conjuntos pré-cúbicos, que são mais adequados para aplicações em teoria de concorrência. Introduzimos os principais conceitos fundamentais sobre conjuntos pré-cúbicos, definindo, em particular, a homologia de um conjunto pré-cúbico. Estudamos grupos abelianos pré-ordenados e a homologia de complexos de cadeias dirigidos. Por fim, estudamos a homologia dirigida de conjuntos pré-cúbicos, onde relacionamos a homologia dirigida em grau 0 com a conexidade, estabelecemos uma variante do Teorema da Invariância e provamos teoremas sobre a homologia dirigida de pushouts e de produtos tensoriais de conjuntos pré-cúbicos. | por |
dc.description.abstract | In the framework of his research on directed algebraic topology, Marco Grandis developed a theory of directed homology for cubical sets. In this work, we adapt Grandis' theory to precubical sets, which are more suitable than cubical sets for applications in concurrency theory. We introduce the main fundamental concepts about precubical sets defining, in particular, the homology of a precubical set. We study preordered abelian groups and the homology of directed chain complexes. Finally, we study the directed homology of precubical sets, where we relate the directed homology in degree 0 with connectedness, establish a variant of the Invariance Theorem, and prove theorems about the directed homology of pushouts and tensor products of precubical sets. | por |
dc.description.sponsorship | Este trabalho foi financiado pelo Centro de Matemática da Universidade do Minho e a Fundação para a Ciência e a Tecnologia (FCT) através da Bolsa de Investigação CMAT - UIDB/00013/2020 - 02/2021. | por |
dc.language.iso | por | por |
dc.relation | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F00013%2F2020/PT | por |
dc.rights | openAccess | por |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | por |
dc.subject | Conjunto pré-cúbico | por |
dc.subject | Homologia dirigida | por |
dc.subject | Invariância dihomotópica | por |
dc.subject | Produto tensorial | por |
dc.subject | Pushout | por |
dc.subject | Precubical set | por |
dc.subject | Directed homology | por |
dc.subject | Dihomotopy invariance | por |
dc.subject | Tensor product | por |
dc.title | Homologia dirigida | por |
dc.title.alternative | Directed homology | por |
dc.type | masterThesis | eng |
dc.identifier.tid | 202830233 | por |
thesis.degree.grantor | Universidade do Minho | por |
sdum.degree.grade | 19 valores | por |
sdum.uoei | Escola de Ciências | por |
dc.subject.fos | Ciências Naturais::Outras Ciências Naturais | por |
Aparece nas coleções: | BUM - Dissertações de Mestrado |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Dissertacao-PG40153.pdf | 415,8 kB | Adobe PDF | Ver/Abrir |
Este trabalho está licenciado sob uma Licença Creative Commons