Emacs Stack Exchange
Emacs Stack Exchange

Patrick Nicodemus
131
reputation
4
  • University of Wisconsin-Madison, Van Vleck Hall, Madison, WI, USA
  • Member since September 10 2017
  • 1 profile views
  • Last seen Sep 01 '23 at 17:33

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.