John Power

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

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 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)

category: people

Last revised on September 28, 2021 at 01:43:25. See the history of this page for a list of all contributions to it.