nLab
John Power

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

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

category: people

Revised on September 7, 2012 10:13:47 by Tim Porter (95.147.237.101)
Edit | Back in time (2 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: bicategory, monad, n-category, 2-category, universal algebra, 2-monad, computer science, 2-Lawvere theory, free monad, pasting diagram, Gabriel-Ulmer duality, premonoidal category, lax morphism, M-category, categorical model of dependent types, coherence theorem for bicategories with finite limits