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

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.