[The University of Leicester]

Department of Mathematics & Computer Science



Next: Introduction

Rewriting procedures generalise to

Kan extensions of actions of categories






[University Home] [MCS Home] [University Index A-Z] [University Search] [University Help]

Author: A. Heyworth, tel: +44 (0)116 252 3884
Last updated: 2000-11-24
MCS Web Maintainer
This document has been approved by the Head of Department.
© University of Leicester.