Skip to main content

Timeline for This is not a category. What is it?

Current License: CC BY-SA 3.0

6 events
when toggle format what by license comment
Dec 16, 2012 at 0:38 vote accept Tom Goodwillie
Dec 15, 2012 at 12:50 comment added Tom Goodwillie I have to go back to my example and think. I was convinced it was not a category at all (of course if it were a category it would be a groupoid), but your argument seems right.
Dec 15, 2012 at 0:30 comment added David Roberts Ah, I didn't understand Tom fully from his first description.
Dec 15, 2012 at 0:06 comment added Eric Wofsey Is there a mistake in my argument?
Dec 14, 2012 at 22:31 comment added David Roberts A groupoid gives an example if this, but I don't think every example arises from a groupoid.
Dec 14, 2012 at 19:23 history answered Eric Wofsey CC BY-SA 3.0