Subject: Re: Query

From: categories <[email-masked]>
Date: Mon, 30 Jun 1997 23:41:44 -0300 (ADT)

Date: Sun, 29 Jun 1997 20:49:19 -0400
From: Michael Barr <[email-masked]>

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