21 Aug
2010
21 Aug
'10
1:46 a.m.
Hi, Thank you for all the replies to my previous questions. It is very helpful. Now, I have another (trivial) question. If I have two constant functors Delta_X and Delta_Y that respectively returns X and Y in C, then their comma category is the discrete category C(X,Y). How do comma categories generalize to bicategories? When C is a 2-category, I would like the "comma category" of the "functors"(?) Delta_X and Delta_Y be the (not necessarily discrete) category C(X,Y). [For admin and other information see: http://www.mta.ca/~cat-dist/ ]