--- Papers and Preprints ---

* 2020 // rewriting structured cospans // arXiv:2001.0929

* 2019 // rewriting structured cospans: a syntax for open systems // Ph.D. Thesis // arXiv:1906.05443

* 2018 // spans of cospans in a topos (w. kenny courser) // theory app. categ.

* 2018 // categorifying the zx-calculus // electron. proc. theor. comput. sci.

* 2018 // spans of cospans // theory app. categ.

--- Select Talks ---

* rewriting structured cospan // syco 4
(slides)

* social contagion modeled on social networks // John Baez's seminar
(slides) (youtube)

* a lowkey introduction to synthetic differential geometry // math connections
(slides)

* a bicategorical syntax for pure state qubit quantum mechanics // ams western sectional

* generalizing lawvere theories // ct2017
(slides)

* a symmetric monoidal and compact closed bicategorical syntax for graphical calculi // ct2017

* categorifying the zx-calculus // qpl2017

--- Other Articles ---

* cartesian bicategories : generalizing relations with bicategories

* notions of lawvere theories : enriching Lawvere's approach to universal algebra