Patrick Nicodemus's user avatar
Patrick Nicodemus's user avatar
Patrick Nicodemus's user avatar
Patrick Nicodemus
  • Member for 7 years, 11 months
  • Last seen more than a week ago
  • University of Wisconsin-Madison, Van Vleck Hall, Madison, WI, USA
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.
2
silver badges
9
bronze badges
1
Score
2
Posts
67
Posts %
1
Score
2
Posts
67
Posts %
1
Score
2
Posts
67
Posts %
1
Score
2
Posts
67
Posts %
1
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
Top posts