nLab John Power

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

• Google Scholar page

Selected writings

On coherence theorems in category theory and bicategory theory:

• A. J. Power, A general coherence result, J. Pure Appl. Algebra 57 (1989), no. 2, 165–173. doi:10.1016/0022-4049(89)90113-8 MR0985657

On flexible limits:

• Greg J. Bird, Max Kelly, John Power, Ross Street, Flexible limits for 2-categories, Journal of Pure and Applied Algebra 61 1 (1989) 1-27 [doi:10.1016/0022-4049(89)90065-0]

On PIE-limits:

• John Power, Edmund Robinson, A characterization of pie limits, Math. Proc. Cam. Phil. Soc. 110 (1991) 33 [doi:10.1017/S0305004100070092]

On coherence theorems for tricategories:

• Robert Gordon, A. John Power, Ross Street, Coherence for tricategories, Mem. Amer. Math Soc. 117 (1995) no 558 (ISBN:978-1-4704-0137-5)

On sketches internalized in 2-categories:

• Yoshiki Kinoshita, John Power, Makoto Takeyama, Sketches, Journal of Pure and Applied Algebra 143 1-3 (1999) 275-291 [doi:10.1016/S0022-4049(98)00114-5]

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

• Gordon Plotkin, John Power, Section 3 of: Notions of computation determine monads In: M. Nielsen, U. Engberg, (eds.) FOSSACS 2002. LNCS, Lecture Notes in Computer Science 2303 342-356 Springer (2002) [doi:10.1007/3-540-45931-6_24p]

On bireflective subcategories with ambidextrous adjoints:

• Peter Freyd, Peter O’Hearn, A. John Power, M. Takeyama, Ross Street, Robert D. Tennent, Bireflectivity, Theoretical Computer Science 228 1–2 (1999) 49-76 [doi:10.1016/S0304-3975(98)00354-5]

On distributive laws between monads and comonads:

• John Power, Hiroshi Watanabe, Distributivity for a monad and a comonad, Electronic Notes in Theoretical Computer Science 19 (1999) 102 [doi:10.1016/S1571-0661(05)80271-3, pdf]

• John Power, Hiroshi Watanabe, Combining a monad and a comonad, Theoretical Computer Science 280 1–2 (2002) 137-162 [doi:10.1016/S0304-3975(01)00024-X]

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

• Martin Hyland, John Power, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads, Electronic Notes in Theor. Comp. Sci. 172 (2007) 437-458 [doi:10.1016/j.entcs.2007.02.019, preprint]

category: people