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.
contact website
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
,
ncategory
,
2category
,
universal algebra
,
2monad
,
computer science
,
2Lawvere theory
,
free monad
,
pasting diagram
,
GabrielUlmer duality
,
premonoidal category
,
lax morphism
,
Mcategory
,
categorical model of dependent types
,
coherence theorem for bicategories with finite limits