Browsing NTNU Open by Author "Aslaksen, Even"
Now showing items 1-2 of 2
-
Monads, Algebras and Descent Theory
Aslaksen, Even (Bachelor thesis, 2021)Denne bacheloroppgaven er en redegjørelse av artiklene Facets of Descent I og III av G. Janelidze og W. Tholen om avstamningsteori. Vi begynner med å studere den preliminære teorien om monader og Barr--Beck teoremet. ... -
Monads, Algebras and Descent Theory Homotopy coherent version
Aslaksen, Even (Master thesis, 2023)Denne oppgaven utdyper artikkelen Homotopy Coherent Adjunctions and the Formal Theory of Monads av Emily Riehl og Dominic Verity, og begynner med å undersøke de grunnleggende konseptene i homotopikoherent kategoriteori ved ...