I’m a third 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.
Preprints
___, Good Fibrations through the Modal Prism, arXiv:1908.08034, 2019
D. Spivak, ___, B. Fong, Behavioral Mereology, arXiv:1811.00420, 2018
___ , String Diagrams for Double Categories and Proarrow Equipments, arXiv:1612.02762, 2016
Publications
Math
Nothing yet.
Other
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
Notes on Homology in Characteristic One, from a course given by Katia Consani (and with material from Emily Riehl) in 2017.
Talks and Slides
Higher Groups in Homotopy Type Theory, for my Oral Exam at JHU, 2019, [slides]
Good Fibrations through the Modal Prism at HoTT 2019, 2019, [slides]
How do you identify one thing with another at Cornell Topology Fesitval, 2019, [slides]
Degrees, Dimensions, and Crispness, at Geometry in Modal HoTT, 2019 [slides] [video]
Logical Topology and Axiomatic Cohesion, at Geometry in Modal HoTT, 2019 [slides] [video]
What is a Thing?, at MIT Categories Seminar, 2018 [slides]
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]
Blog Posts
Graphical Regular Logic, with Sophie Libkind, on the n-category Café
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
History
2017 - now: Johns Hopkins University
Spring 2015: Central European University
Fall 2015: Budapest Semesters in Mathematics
2012 - 2017: Oberlin College