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

On PIE-limits:

On coherence theorems for tricategories:

On sketches internalized in 2-categories:

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 June 11, 2024 at 16:55:01. See the history of this page for a list of all contributions to it.