User Wouter Stekelenburg - MathOverflow

Wouter Stekelenburg

Member for 14 years, 2 months
Last seen more than a month ago

22 Answers

Score Activity Newest

13 votes

Accepted

A continuous notion of realizability

answered Oct 24, 2012 at 9:49

11 votes

Why do so many textbooks have so much technical detail and so little enlightenment?

answered Jan 28, 2010 at 12:41

11 votes

Au revoir, law of excluded middle?

answered May 24, 2010 at 10:32

10 votes

Small categories and completeness

answered Oct 3, 2012 at 19:39

7 votes

On internal functions and arrows in a Topos

answered Jun 25, 2012 at 8:09

7 votes

Accepted

What is the (Co)Monad for a Bag

answered Jan 26, 2018 at 22:56

6 votes

What categories correspond to the typed lambda calculus with parametric types?

answered Sep 22, 2012 at 13:13

5 votes

Does this kind of endofunctor ever have an initial algebra?

answered Apr 23, 2013 at 7:13

4 votes

Adjoint of Pushout as Modal Operators in Internal Logic

answered Feb 11, 2013 at 16:21

4 votes

products in a category without reference to objects or sources and targets

answered Jun 26, 2011 at 10:40

2 votes

Monoidal structure on a category with products and with terminal object

answered Nov 1, 2012 at 19:57

2 votes

What abstract nonsense is necessary to say the word "submersion"?

answered Nov 12, 2010 at 11:36

2 votes

Extending Kan fibrations, without using minimal fibrations

answered Sep 9, 2019 at 11:22

2 votes

is shuffle a Monad?

answered Jul 30, 2016 at 7:16

1 vote

Name for a functor with this property?

answered Oct 18, 2010 at 8:49

1 vote

Nelson natural number objects in a topos (say)

answered Jan 25, 2013 at 16:35

1 vote

Was the early calculus inconsistent?

answered Mar 20, 2013 at 14:16

1 vote

Equivalence relations in suplattices

answered Jun 2, 2013 at 9:11

1 vote

Is there an intuitionistic generalized boolean algebra (of Stone)?

answered Apr 12, 2014 at 17:09

0 votes

Independence and Category Theory

answered Oct 18, 2010 at 9:11

0 votes

What is the difference between the biconditional iff. and equality = ?

answered May 17, 2010 at 7:55

0 votes

Bijection of proper classes

answered Jun 18, 2011 at 8:06