Reputation
261
Top tag
Next privilege 500 Rep.
Access review queues
Badges
1 3
Newest
 Yearling
Impact
~4k people reached

  • 0 posts edited
  • 0 helpful flags
  • 14 votes cast
Nov
13
comment You've got your head round Basic Category Theory: why look at monads next?
The answers here may also be of use: mathoverflow.net/questions/84309/why-are-monads-useful
Nov
12
answered You've got your head round Basic Category Theory: why look at monads next?
May
24
awarded  Yearling
May
13
awarded  Caucus
Sep
11
comment Does ((2^2)^2)^2… = 1 or 0?
note that $\infty^2 - \infty = \infty$, not $0$, so the second "Therefore" is incorrect, which leads to the false proof to begin with.
Jun
6
awarded  Supporter
Jun
6
answered Why does mathematical convention deal so ineptly with multisets?
May
22
awarded  Teacher
May
22
answered Can the principle of explosion be removed from constructive logic?