Department of Computer Science
 
power_john

Reader

1 West 4.58

Dept of Computer Science

Email: a.j.power@bath.ac.uk

Tel: +44 (0) 1225 38 4439

 

Dr John Power

Profile

Research interests

Research interests lie in category theory, with particular focus on enriched categories, higher-dimensional categories, and categories with algebraic structure. This research involves work on a variety of topics within computer science, in principle any for which category theory, especially its more algebraic aspects, seems likely to be of value, such as computational effects and data refinement.

Publications

Read publications by John Power

View more publications »