Timeline for An explicit description of Lawvere's segment in the category of simplicial sets
Current License: CC BY-SA 2.5
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 13, 2011 at 17:44 | comment | added | Finn Lawler | Sorry, Harry, I didn't see your new answer: that seems to be what you're doing. | |
| Mar 13, 2011 at 17:40 | history | edited | Finn Lawler | CC BY-SA 2.5 |
added 48 characters in body
|
| Mar 13, 2011 at 17:39 | comment | added | Finn Lawler | Well, I did say I could easily be wrong :). Torsten's answer gives a clearer picture: $L_n$ is the set of sieves on [n] in $\Delta$. It may well be possible to give a more concrete description of these sets, given how $\Delta$ is generated from [0], [1] and [2]. | |
| Mar 13, 2011 at 17:20 | comment | added | Andrej Bauer | Yes, I understand that, I am just pointing out the answer has a mistake, lest someone gets the wrong idea. | |
| Mar 13, 2011 at 17:05 | vote | accept | Harry Gindi | ||
| Mar 13, 2011 at 17:05 | comment | added | Harry Gindi | @Andrej: I had accepted it for the observation that it is the subobject classifier. | |
| Mar 13, 2011 at 11:04 | comment | added | Andrej Bauer | The description of $L$ is wrong. It cannot be $1 + 1$, or else simplicial sets would be a boolean topos. | |
| Mar 13, 2011 at 9:49 | vote | accept | Harry Gindi | ||
| Mar 13, 2011 at 17:00 | |||||
| Jun 18, 2010 at 1:35 | comment | added | David Roberts♦ | I'm sure I've seen it written 'Lawvere interval [object]', but a search brings up nothing. | |
| Jun 17, 2010 at 13:22 | history | answered | Finn Lawler | CC BY-SA 2.5 |