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.
What would be a more suggestive name for a "Comma Category"?
2
$\begingroup$
terminology
category-theory
-
0How about something along the lines of "homotopy directed pullback"? It would be nice to call them simply lax pullbacks, but I don't think they are really equivalent... – 2012-07-09