I’m a second year graduate student at Johns Hopkins University. My advisor is Emily Riehl.
I’m generally interested in what it means to be a thing, but particularly interested in (higher) category theory, homotopy type theory, and cohesion.
D. Spivak, ___, B. Fong, Behavioral Mereology, arXiv:1811.00420, 2018
___ , String Diagrams for Double Categories and Proarrow Equipments, arXiv:1612.02762, 2016
P. Thibodeau, ___ , S. Flusberg, Similarity-Based Reasoning is Shaped by Recent Learning Experience, in Proceedings of the 38th Annual Conference of the Cognitive Science Society. Austin, TX: Cognitive Science Society. 2016
Notes on Homology in Characteristic One, from a course given by Katia Consani (and with material from Emily Riehl) in 2017.
Talks and Slides
Degrees, Dimensions, and Crispness, at Geometry in Modal HoTT, 2019 [slides]
Logical Topology and Axiomatic Cohesion, at Geometry in Modal HoTT, 2019 [slides]
What is a Thing?, at MIT Categories Seminar, 2018
String Diagrams for (Virtual) Proarrow Equipments, at CT 2017, 2017 [slides] [abstract]
Weighted (Co)Limits, at CT 2017 with the Kan Extension Seminar, 2017 [slides]
String Diagrams, Categories, and Enrichment, for Honors thesis requirement at Oberlin, 2016 [slides]
Thinking Recursively, Rethinking Corecursively, for Oberlin Philosophy department, 2015 [slides] [abstract]
A Graphical Calculus for Proarrow Equipments, on the n-Category Café
Gluing Together Finite Shapes with Kelly, on the n-Category Café, written for the Kan Extension Seminar
Enrichment and its Limits, on the n-Category Café, written for the Kan Extension Seminar
2017 - now: Johns Hopkins University
Spring 2015: Central European University
Fall 2015: Budapest Semesters in Mathematics
2012 - 2017: Oberlin College