Timeline for Can the Lawvere fixed point theorem be used to prove the Brouwer fixed point theorem?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 19, 2017 at 11:21 | history | edited | მამუკა ჯიბლაძე | CC BY-SA 3.0 |
one $ too much
|
| Apr 14, 2017 at 15:52 | history | rollback | Will Sawin |
Rollback to Revision 2
|
|
| Apr 14, 2017 at 15:51 | history | edited | Will Sawin | CC BY-SA 3.0 |
added 59 characters in body
|
| Apr 14, 2017 at 15:36 | history | edited | Will Sawin | CC BY-SA 3.0 |
slightly simplified
|
| Apr 14, 2017 at 5:50 | comment | added | Will Sawin | For clarity $X_0 = \emptyset$, $Y_0 = I$, $Z_0 = I^I$, $X_1$ is the space of pairs of a continuous map $I \to I$ and a fixed point of that map. $Y_1$ is the space of pairs of $b$ an element of $I$ and $c$ a pair of a map $I\to I$ and a fixed point, with $a$ forced to be the evaluation map that takes a map $I \to I$ (with a fixed point) to the evaluation of that map at $b$. | |
| Apr 14, 2017 at 5:39 | history | answered | Will Sawin | CC BY-SA 3.0 |