Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorCasacuberta, Carles-
dc.contributor.authorFerrà Marcús, Aina-
dc.descriptionTreballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2018, Director: Carles Casacubertaca
dc.description.abstract[en] Classically, algebraic structures such as groups, rings, and many others were jointly studied with the language of universal algebra. It was later found that certain tools from category theory, called monads, are especially suitable to encode the whole amount of information contained in algebraic theories. In this work we discuss monads, and, in particular, some monads that are relevant in functional programming in Computer Science. We give a proof of the equivalence between the category of algebraic theories (formalized as Lawvere theories) and the category of finitary monads on the category of sets. We also prove that there is an equivalence between the category of algebras over a monad and the category of models of the associated Lawvere theory. Finally, we apply this equivalence of categories to give a new proof of the fact that all localizations on the category of abelian groups can be uniquely lifted to $R$-modules for every ring $R$.ca
dc.format.extent33 p.-
dc.rightscc-by-nc-nd (c) Aina Ferrà Marcús, 2018-
dc.subject.classificationCategories (Matemàtica)ca
dc.subject.classificationTreballs de fi de grau-
dc.subject.classificationTeoria de modelsca
dc.subject.classificationProgramació funcional (Informàtica)ca
dc.subject.classificationGrups abeliansca
dc.subject.otherCategories (Mathematics)en
dc.subject.otherBachelor's thesis-
dc.subject.otherModel theoryen
dc.subject.otherFunctional programming (Computer science)en
dc.subject.otherAbelian groupsen
dc.titleA categorical view of algebraic theoriesca
Appears in Collections:Treballs Finals de Grau (TFG) - Matemàtiques

Files in This Item:
File Description SizeFormat 
memoria.pdfMemòria333.51 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons