Re: Query

Not that I am blowing my own horn (but why not), you will find something about comma categories in Barr & Wells, Category Theory for Computing Science. But no, I know of no other research along those lines. Michael Barr