User Wouter Stekelenburg

14 votes

Accepted

A continuous notion of realizability

answered Oct 24, 2012 at 9:49

11 votes

Small categories and completeness

answered Oct 3, 2012 at 19:39

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

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

Stack Exchange Network

22 Answers

A continuous notion of realizability

Small categories and completeness

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

Au revoir, law of excluded middle?

On internal functions and arrows in a Topos

What is the (Co)Monad for a Bag

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

Does this kind of endofunctor ever have an initial algebra?

Adjoint of Pushout as Modal Operators in Internal Logic

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

Monoidal structure on a category with products and with terminal object

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

Extending Kan fibrations, without using minimal fibrations

is shuffle a Monad?

Name for a functor with this property?

Nelson natural number objects in a topos (say)

Was the early calculus inconsistent?

Equivalence relations in suplattices

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

Independence and Category Theory

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

Bijection of proper classes