User Dan Doel - Computer Science Meta Stack Exchange

Dan Doel

Member for 5 years, 3 months
Last seen more than a month ago

Boston, MA, USA

Stats

2,619

reputation

0

reached

0

answers

0

questions

Loading…

Communities

Badges

View all badges

This user doesn’t have any gold badges yet.

5

silver badges

Yearling

× 5

Aug 30

1

bronze badge

Critic

Feb 16

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

13

What does canonicity property mean in Type Theory?

13

Does this show that equality (set theoretically) does not necessarily imply isomorphic (categorically)?

13

What are well-founded inductive types?