dc.contributor.advisor | Torgeir Aambø | |
dc.contributor.author | Henrik Knudsen | |
dc.date.accessioned | 2024-07-18T17:21:11Z | |
dc.date.available | 2024-07-18T17:21:11Z | |
dc.date.issued | 2024 | |
dc.identifier | no.ntnu:inspera:187609780:92935411 | |
dc.identifier.uri | https://hdl.handle.net/11250/3142328 | |
dc.description.abstract | I denne oppgaven konstruerer vi kontramoduler, både på klassisk vis og i arbitrære lukkede symmetrisk monoidale kategorier. Vi konstruerer deretter kategoriene av komoduler og kontramoduler via kategorier av komoduler/moduler over komonader/monader. Til slutt sammenligner vi disse kategoriene via ko-kontra korrespondansen, basert på arbedene til Hristova, Jones og Rumynin. | |
dc.description.abstract | In this thesis we construct contramodules, both classically and in arbitrary closed symmetric monoidal categories. We then construct the categories of comodules and contramodules through categories of comodules/modules over comonads/monads. We finally relate these categories through the co-contra correspondence, based on the work of Hristova, Jones and Rumynin. | |
dc.language | eng | |
dc.publisher | NTNU | |
dc.title | Contramodules | |
dc.type | Bachelor thesis | |