Wouter Stekelenburg

Member for 14 years, 10 months
Last seen this week

Summary

Reputation

1,289

1.3k
1.2k
1.2k

2021
2022
2023
2024

Top tag

ct.category-theory

Next privilege

2,000 Rep.

Edit posts

Badges

9

14

Newest

Custodian

Next badge

1/1

Custodian

Impact

~125k

people reached

0

posts edited

0

helpful flags

57

votes cast

Answers

View all 22 answers

15

A continuous notion of realizability

Oct 24, 2012

11

Small categories and completeness

Oct 3, 2012

11

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

Jan 28, 2010

11

Au revoir, law of excluded middle?

May 24, 2010

7

On internal functions and arrows in a Topos

Jun 25, 2012

Questions

20

Categories of recursive functions

Apr 4, 2013

5

Ex/reg toposes without generic monomorphisms

Oct 22, 2013

3

Cloven Kan fibrations

Feb 5, 2014

2

name my cat: regular categories where inverse images also have right adjoint

Oct 14, 2010

Tags

View all 36 tags

ct.category-theory

69

Score

19

posts

lo.logic

38

Score

12

posts

topos-theory

23

Score

5

posts

gn.general-topology

16

Score

2

posts

reference-request

15

Score

2

posts

Reputation

+30

A continuous notion of realizability

+30

Small categories and completeness

+10

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

+10

Categories of recursive functions

Badges

View all badges

This user doesn’t have any gold badges yet.

9

silver badges

Enthusiast

Jun 19, 2013
Notable Question

Oct 17, 2019
Enlightened

Aug 27, 2014

14

bronze badges

Critic

Jan 10, 2014
Commentator

Oct 4, 2012
Teacher

Jan 28, 2010

Accounts

1,289
9
14

1,286
7
14

151
3

101
1

Active bounties (0)

This user has no active bounties

Votes cast

56

upvotes

1

downvotes

8

question votes

49

answer votes