[The University of Leicester]

Department of Mathematics & Computer Science



Next: Kan Extensions and Noncommutative Up: Further work, questions Previous: Further work, questions

Iteration

One of the pleasant features of the procedure we describe is that the input and the output are of a similar form. The consequence of this is that if the action $ K$, given by $ (X',F')$, has been defined on $ \Delta$, then given a second functor and a presentation for , it is straightforward to consider a presentation for the Kan extension data . This new extension is in fact the Kan extension with data .



[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.