Hi all, when were (lax) comma objects in a 2-category introduced, and by whom? By lax comma object I mean the thing described here: http://ncatlab.org/nlab/show/comma+object, where \alpha is not necessarily invertible. Thanks, David [For admin and other information see: http://www.mta.ca/~cat-dist/ ]