Peter LeFanu Lumsdaine
Jobbing postdoc; research interests include category theory, logic, homotopy theory.
19 Given an infinite number of monkeys and an infinite amount of time, would one of them write Hamlet? jan 13 '11
15 A Question about Doctoral Theses in Mathematics may 22 '13
14 $\sqrt 2$ is even? jun 6 '13
14 Elevator pitch for a (sub)field of maths? oct 15 '10
13 Given that it appears impossible to make the set out of linear combinations of its elements, why is it still dependent? mar 15