Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: learning: questions

Topic: Comma categories


view this post on Zulip Olli (Nov 16 2020 at 06:56):

Does anyone have a recommendation for learning about comma categories? I have seen them come up in a few places as examples or generalizations of something, but I am looking for something where they are treated as the main topic

view this post on Zulip Antonin Delpeuch (Nov 16 2020 at 15:40):

I think I remember reading about it in Borceux's Handbook of Categorical Algebra (not sure which volume) and it was well explained.

view this post on Zulip John Baez (Nov 16 2020 at 16:15):

I remember using Borceux's book when I needed a comma category to have colimits. It seemed to have a nice amount of stuff about comma categories. It had a theorem about when comma categories have colimits, but I needed a stronger result and wanted a reference for that, which I eventually found and added to the nLab.

view this post on Zulip Olli (Nov 17 2020 at 06:11):

Thanks, I found it and it looks like what I was looking for.