nLab John Power

Selected writings

A. John Power is a Theoretical Computer Scientist working at the University of Bath, England.

Selected writings

On coherence theorems in category theory and bicategory theory:

On coherence theorems for tricategories:

On monads in computer science, such as the (local) state monad:

On distributive laws between monads and comonads:

category: people

Last revised on October 29, 2022 at 13:38:54. See the history of this page for a list of all contributions to it.