Timeline for A canonical and categorical construction for geometric realization
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Sep 7, 2010 at 13:17 | comment | added | some guy on the street | ahah! ... well spotted, sir. | |
| Sep 7, 2010 at 2:49 | comment | added | Todd Trimble | The multiplication may as well be [[x, s], t] |-> [x, st], or even [[x, s], t] |-> [x, min(s, t)], and the unit x |-> [x, 1]. Under the min formulation, you can similarly form a monad C_I for any interval I, where C_I X is the pushout of the inclusion X -> X x I (at the endpoint "top" of I) along X -> 1. You can define a notion of I-contractibility as involving a retraction h: C_I X -> X of the unit (or even demand h to be an algebra structure). You can go on to define an I-analogue of the topological simplex category. So what is so canonical about the usual choice I = [0, 1]? | |
| Aug 25, 2010 at 21:25 | history | edited | some guy on the street | CC BY-SA 2.5 |
drew an arrow
|
| Aug 25, 2010 at 21:18 | history | answered | some guy on the street | CC BY-SA 2.5 |