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 PIE-limits:

On coherence theorems for tricategories:

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

On bireflective subcategories with ambidextrous adjoints:

On distributive laws between monads and comonads:

On the history of categorical universal algebra via Lawvere theories and monads:

category: people

Last revised on October 1, 2023 at 14:54:28. See the history of this page for a list of all contributions to it.