Skip to main content
MathOverflow
fhyve's user avatar
fhyve's user avatar
fhyve's user avatar
fhyve
  • Member for 11 years, 5 months
  • Last seen more than 6 years ago
Profile Activity
Stats
247
reputation
916
reached
0
answers
2
questions
Communities
View all
About

Just a math undergrad in Vancouver.

Studying category theory, homotopy theory, categorical logic, and homotopy type theory

Badges
This user doesn’t have any gold badges yet.
2
silver badges
8
bronze badges
Top tags
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
question
9
What is the descriptive complexity of a set added by Cohen forcing?
Nov 30, 2016
question
5
Choice of fibrations is like a choice of a basis of a module
Mar 12, 2015
Top network posts
View all network posts
49
Bijection from $\mathbb R$ to $\mathbb {R^N}$
24
How is the Gödel's Completeness Theorem not a tautology?
20
What does it mean for something to be true but not provable in peano arithmetic?
18
Constructing a bijection from (0,1) to the irrationals in (0,1)
16
Relative consistency of PA and some type theories