Patrick Nicodemus's user avatar
Patrick Nicodemus's user avatar
Patrick Nicodemus's user avatar
Patrick Nicodemus
  • Member for 6 years, 7 months
  • Last seen more than a week ago
  • University of Wisconsin-Madison, Van Vleck Hall, Madison, WI, USA
Stats
325
reputation
2k
reached
1
answer
7
questions
Loading…
About

I am a PhD student in the mathematics program at University of Wisconsin-Madison. I am interested in categorical logic, type theory, and topos theory.

This user doesn’t have any gold badges yet.
1
silver badge
10
bronze badges
1
Score
3
Posts
38
Posts %
1
Score
2
Posts
25
Posts %
1
Score
2
Posts
25
Posts %
0
Score
3
Posts
38
Posts %
0
Score
3
Posts
38
Posts %
0
Score
2
Posts
25
Posts %
Top posts