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