Skip to main content

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

Current License: CC BY-SA 3.0

15 events
when toggle format what by license comment
Dec 17, 2012 at 1:31 history edited Tom Goodwillie CC BY-SA 3.0
added 2 characters in body
Dec 16, 2012 at 0:41 history edited Tom Goodwillie CC BY-SA 3.0
added 248 characters in body
Dec 16, 2012 at 0:38 vote accept Tom Goodwillie
Dec 16, 2012 at 0:38 comment added Tom Goodwillie I believe that any distinction between a category and a painting of a category would be considered "evil".
Dec 15, 2012 at 14:56 comment added Todd Trimble (Will Jagy, I meant.)
Dec 15, 2012 at 14:55 comment added Todd Trimble I suspect Will is being witty here. See en.wikipedia.org/wiki/The_Treachery_of_Images
Dec 15, 2012 at 11:16 answer added Ronnie Brown timeline score: 2
Dec 15, 2012 at 7:21 answer added Tim Porter timeline score: 3
Dec 15, 2012 at 0:00 history edited Tom Goodwillie CC BY-SA 3.0
added 647 characters in body
Dec 14, 2012 at 23:55 comment added Tom Goodwillie @Will: There is a unique cell for every "maximal tree" of the kind I indicated.
Dec 14, 2012 at 22:25 comment added Will Jagy It's either a painting of a category or a pipe.
Dec 14, 2012 at 19:23 answer added Eric Wofsey timeline score: 19
Dec 14, 2012 at 17:25 comment added Will Sawin Do you, like in a category, have an extension property that tells you how much you need to check for a cell to exist?
Dec 14, 2012 at 16:51 comment added Mariano Suárez-Álvarez Simplices are labeled stars in the graph underlying the category, and faces/degenerations are adding identities and dropping edges in the star?
Dec 14, 2012 at 16:44 history asked Tom Goodwillie CC BY-SA 3.0