Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Comma categories are pretty expressive construction but apparently many mathematicians including their inventor, Dr. Lawvere, dislike the term for its non-informativeness. I was wondering if anyone would know of other intuitive nicknames for comma categories.

share|cite|improve this question
For "slice" categories I think saying, "the category over $A$" is informative. In general, I don't know. – Dylan Moreland Jul 2 '12 at 21:13
Knowing very little about category theory, but having looked at the Wikipedia article, if I understand correctly, the basic idea is to use morphisms as objects. Therefore "morphism category" looks like a good name to me (assuming it doesn't already have a different meaning). – celtschk Jul 2 '12 at 21:32
Would have anything to do with the naming convention? – Fred Kline Jul 2 '12 at 21:55
I would have been utterly amazed if Pythagorean Comma could lend some intuition to the construction of comma category, but I thing there is lot more going on. – user34942 Jul 2 '12 at 22:06
@celtschk Morphism category can be construed to mean the category $\mathcal{C}^{\mathbf{2}}$ of arrows and commutative squares in $\mathcal{C}$. – Zhen Lin Jul 2 '12 at 22:32

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.