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 this week
Profile Activity

91 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
awarded
 Custodian
reviewed
Approve
A continuous notion of realizability
awarded
 Nice Answer
awarded
 Yearling
awarded
 Notable Question
revised
Extending Kan fibrations, without using minimal fibrations
deleted 5 characters in body
awarded
 Yearling
answered
Extending Kan fibrations, without using minimal fibrations
awarded
 Nice Answer
answered
What is the (Co)Monad for a Bag
awarded
 Nice Answer
answered
is shuffle a Monad?
awarded
 Yearling
comment
Higher-dimensional category theory on objects
You don't always need terminal objects. Every element of a group $G$ induces a unique morphism $\mathbb Z\to G$ for example.
awarded
 Popular Question
awarded
 Nice Question
comment
Natural examples of Reverse Mathematics outside classical analysis?
Robert Lubarsky has done some research reverse mathematics for intuitionistic logic. See math.fau.edu/lubarsky.
awarded
 Enlightened
awarded
 Nice Answer
revised
A continuous notion of realizability
link updated
1
2 3 4 5