123
reputation
4

Patrick Nicodemus

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.

0
answers
1
question
~161
people reached
  • University of Wisconsin-Madison, Van Vleck Hall, Madison, WI, USA
  • Member for 2 years, 10 months
  • 3 profile views
  • Last seen Jan 2 at 2:43

Top tags (2)

Score 0
Posts 1
Score 0
Posts 1

Top posts (1)

Badges (4)

Gold

Silver

Bronze

4

Rarest