Abstrakt. Inspirerad av den klassiska teorin om moduler över en monoid, ger vi en första redogörelse för den naturliga uppfattningen av modul över en monad. Det associerade begreppet morfism hos vänstermoduler ("linjära" naturliga omvandlingar) fångar upp en viktig egenskap hos kompatibilitet med substitution, i det heterogena fallet där "termer" och variabler i dem kan vara av olika typer samt i det homogena fallet. I denna uppsats presenterar vi grundläggande konstruktioner av moduler och vi visar exempel på i synnerhet abstrakt syntax och lambda-calculus.
REF visar ett initialitetsresultat för otypad syntax baserad på modulbegreppet över en monad.
Modules over Monads and Linearity
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Mathematics', 'Computer Science']}