Mathematics
Dan Doel's user avatar
Dan Doel's user avatar
Dan Doel's user avatar
Dan Doel
  • Member for 5 years
  • Last seen this week
  • Boston, MA, USA
Profile Activity
Stats
3,360
reputation
16k
reached
88
answers
0
questions
Communities
View all
Badges
View all badges
1
gold badge
7
silver badges
8
bronze badges
Top tags
View all tags
122
Score
43
Posts
49
Posts %
74
Score
28
Posts
32
Posts %
66
Score
20
Posts
23
Posts %
47
Score
16
Posts
18
Posts %
38
Score
15
Posts
17
Posts %
32
Score
7
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
13
Does this show that equality (set theoretically) does not necessarily imply isomorphic (categorically)?
Jan 20, 2022
answer
8
Glue types in cubical type theory
Aug 29, 2019
answer
5
Encoding arbitrary algebraic data types in set theory?
Jul 2, 2021
answer
5
Help! I don't believe in the identity elimination rule for Martin-Löf type theory/HoTT!
Apr 11
answer
5
Intuition behind the construction of a fixed point from Kleene's fixed point theorem
Mar 1, 2021
answer
5
Impredicative Definitions (CZF)
Jan 14, 2022
answer
5
From $\textsf{Prop}$ to $\textsf{Type}$
Feb 9, 2021
answer
5
Motivation behind Lambda Calculus?
Feb 7, 2021
answer
5
Why is the interval not a type but a pretype?
Feb 5, 2021
answer
5
Elimination rule for identity types in Martin-Lof Type Theory
Feb 11, 2022
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
What are well-founded inductive types?
10
Is Church-pentation implementable in Agda?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.