Mathematics
user avatar
user avatar
user avatar
L. Garde
  • Member for 5 years
  • Last seen this week
Profile Activity
Stats
581
reputation
2k
reached
19
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
5
bronze badges
Top tags
View all tags
27
Score
15
Posts
79
Posts %
22
Score
10
Posts
53
Posts %
21
Score
9
Posts
47
Posts %
10
Score
6
Posts
32
Posts %
9
Score
7
Posts
37
Posts %
4
Score
1
Posts
5
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
4
Why such a complicated definition of recursion for $\mathbb{N}$ in HoTT?
May 4, 2019
answer
4
In what sense does Homotopy type theory "model types as spaces"
Dec 31, 2020
answer
4
Difference between Propositional and Judgmental Equality
Feb 6, 2021
answer
4
Type Theory: we cannot prove double negation, but can we prove it is unprovable?
Jan 22
answer
3
Do we always have $(A\times (A \to 0)) \simeq 0$?
Jul 17, 2020
answer
3
What is an example of constructive vs. nonconstructive type theory?
Sep 29, 2020
answer
2
Inductive definition of terms in "The Calculus of Constructions"
Feb 3, 2020
answer
2
a basic univalence puzzle concerning the sup function on sets
Oct 29, 2017
answer
2
Is there a distinction between rules of inference and axioms in Homotopy Type Theory (HoTT)?
Mar 24
answer
2
Context in context of Type Theory
Jan 10, 2021
Top network posts
View all network posts
7
Good introductory book to type theory?
6
How does axiom K contradict univalence?

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.