I am currently looking for someone who wants to do a PhD on categorical models of rewriting. If you are interested, or know someone who may be, then please get in touch. You can find bits and bobs about what I have in mind from my homepage http://www.mcs.le.ac.uk/~ng13/home.html Neil Ghani