Reputation
690
Next privilege 1,000 Rep.
See votes, expandable usercard
Badges
3 17
Impact
~17k people reached

  • 0 posts edited
  • 0 helpful flags
  • 232 votes cast
Oct
10
awarded  Popular Question
Sep
25
awarded  Nice Question
Mar
18
awarded  Popular Question
Mar
9
awarded  Yearling
Sep
24
awarded  Autobiographer
Aug
31
awarded  Nice Question
Aug
31
awarded  Popular Question
Jul
2
awarded  Curious
Jul
2
awarded  Popular Question
May
20
awarded  Popular Question
Mar
9
awarded  Yearling
Jun
25
awarded  Suffrage
Jun
23
comment What is the analogue for the category of presheafs for complement toposes?
@Przyblek: It is quoted in the SEP, so it ought to have a reasonably serious content.
Jun
23
comment What is the analogue for the category of presheafs for complement toposes?
@Roberts: that is what I would have guessed, but then I found that paper.
Jun
22
accepted Why is the Tangent Groupoid useful in non-commutative geometry?
Jun
22
revised Why is the Tangent Groupoid useful in non-commutative geometry?
added 189 characters in body; edited title
Jun
22
revised Why is the Tangent Groupoid useful in non-commutative geometry?
added 1130 characters in body
Jun
21
asked What is the analogue for the category of presheafs for complement toposes?
Jun
21
asked What is the impact on Godels theorem of Paraconsistency?
Jun
15
comment Is there a categorical proof of Gödel's incompleteness theorem?
I think thats only a categorical formulation of the diagonal lemma there.