Monads in category theory are algebraic structures that can be used to model computational
effects in programming languages. We show how the notion of" centre", and more generally" …

This thesis revolves around an area of computer science called" semantics". We work with
operational semantics, equational theories, and denotational semantics. The first …

• In a Lawvere theory T, we say that f: An→ An′ and g: Am→ Am′ commute if and only if
fm′◦ gn (also written f⋆ g) and gn′◦ fm (also written g⋆ f) are equal, up to isomorphism.• If …