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 |