Vi ger en systematisk behandling av distributivitet för en monad och en komonad som uppstår i att ge kategoriteoretiska redogörelser för operationella och denotationella semantik, och i att ge en extensiv denotational semantik. Vi gör detta axiomatiskt, när det gäller en monad och en komonad i två kategorier, med redovisningar av Eilenberg-Moore- och Kleislikonstruktionerna. Vi analyserar de åtta möjliga relationer, deducera att två par är isomorphic, men att de andra paren är alla distinkta. Vi utvecklar de två kategorier som behövs för att stödja denna analys.
Power och Watanabe REF kombinerade monader och comonader i samband med kategoriska operationella och denotationella semantik.
Combining a monad and a comonad
{'venue': 'Theor. Comput. Sci.', 'journal': 'Theor. Comput. Sci.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}