Skip to main content
Proof Assistants Meta
Dan Doel's user avatar
Dan Doel's user avatar
Dan Doel's user avatar
Dan Doel
  • Member for 2 years, 5 months
  • Last seen more than a week ago
  • Boston, MA, USA
Profile Activity
Stats
982
reputation
0
reached
0
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
This user doesn’t have any bronze badges yet.
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
17
Is "all categorical reasoning formally contradictory"?
15
Monad in Haskell programming vs. Monad in category theory
14
What are well-founded inductive types?
13
What does canonicity property mean in Type Theory?
13
Does this show that equality (set theoretically) does not necessarily imply isomorphic (categorically)?