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.

## Preprints

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

*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

*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