Skip to main content
Patrick Nicodemus's user avatar
Patrick Nicodemus's user avatar
Patrick Nicodemus's user avatar
Patrick Nicodemus
  • Member for 1 year, 10 months
  • Last seen more than a week ago
  • University of Wisconsin-Madison, Van Vleck Hall, Madison, WI, USA
Stats
252
reputation
918
reached
1
answer
2
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.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
3
Score
3
Posts
100
Posts %
3
Score
2
Posts
67
Posts %
3
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts