Skip to main content
MathOverflow
Wouter Stekelenburg's user avatar
Wouter Stekelenburg's user avatar
Wouter Stekelenburg's user avatar
Wouter Stekelenburg
  • Member for 14 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
1,279
reputation
125k
reached
22
answers
4
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
9
silver badges
13
bronze badges
Top tags
View all tags
69
Score
19
Posts
73
Posts %
38
Score
12
Posts
46
Posts %
23
Score
5
Posts
19
Posts %
16
Score
2
Posts
8
Posts %
15
Score
2
Posts
8
Posts %
13
Score
2
Posts
8
Posts %
Top posts
View all questions and answers
question
20
Categories of recursive functions
Apr 4, 2013
answer
14
A continuous notion of realizability
Oct 24, 2012
answer
11
Why do so many textbooks have so much technical detail and so little enlightenment?
Jan 28, 2010
answer
11
Au revoir, law of excluded middle?
May 24, 2010
answer
11
Small categories and completeness
Oct 3, 2012
answer
7
On internal functions and arrows in a Topos
Jun 25, 2012
answer
7
What is the (Co)Monad for a Bag
Jan 26, 2018
answer
6
What categories correspond to the typed lambda calculus with parametric types?
Sep 22, 2012
question
5
Ex/reg toposes without generic monomorphisms
Oct 22, 2013
answer
5
Does this kind of endofunctor ever have an initial algebra?
Apr 23, 2013
Top network posts
View all network posts
11
What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?
10
Is every context free language equivalent to one whose grammar has only one non-terminal symbol?
9
Degree choice -- Math or physics
8
What are the algebras of the double powerset monad?
6
How do I get the existence of a set in ZFC following Jech?