Patrick Nicodemus's user avatar
Patrick Nicodemus's user avatar
Patrick Nicodemus's user avatar
Patrick Nicodemus
  • Member for 6 years, 8 months
  • Last seen more than a month ago
  • University of Wisconsin-Madison, Van Vleck Hall, Madison, WI, USA
Stats
325
reputation
0
reached
0
answers
0
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
1
bronze badge
Posts

This user hasn’t posted yet.