Skip to main content
MathOverflow
Perry Hart's user avatar
Perry Hart's user avatar
Perry Hart's user avatar
Perry Hart
  • Member for 1 year, 7 months
  • Last seen this week
  • University of Minnesota
Profile Activity
Stats
81
reputation
377
reached
0
answers
3
questions
Communities
View all
About

PhD student in computer science working on homotopy type theory

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
View all tags
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
question
3
Does the forgetful functor from a pointed $\left(\infty, 1\right)$-category only create weakly contractible colimits?
May 2, 2023
question
2
Homology functors and weak cofibers
Jul 30, 2023
question
2
Non-additive cohomology theories induced by arbitrary prespectra
Sep 19