Skip to main content
Patrick Nicodemus's user avatar
Patrick Nicodemus's user avatar
Patrick Nicodemus's user avatar
Patrick Nicodemus
  • Member for 7 years, 2 months
  • Last seen this week
  • University of Wisconsin-Madison, Van Vleck Hall, Madison, WI, USA
Stats
1,255
reputation
12k
reached
13
answers
33
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.
7
silver badges
19
bronze badges
5
Score
3
Posts
7
Posts %
4
Score
5
Posts
11
Posts %
4
Score
5
Posts
11
Posts %
4
Score
3
Posts
7
Posts %
3
Score
7
Posts
15
Posts %
1
Score
13
Posts
28
Posts %
Top posts
View all questions and answers