categories: Kan extensions

[Robert Byrne <rbyrne3@cs.tcd.ie>]

Dear Category Theory list,

I would like to know if anyone has any references regarding the use of the
computation of Kan extensions as a model of computation (e.g. how powerful
is some given algorithm as compared to a Turing machine). I have seen the
Walters-Carmody algorithm in 'Categories and Computer Science', but there
is no mention there of the computational power of the algorithm presented.

Any information would be welcome.

Yours,

--
Robert Byrne