Michael Shulman: Papers

I am interested in category theory and higher category theory and their applications to the rest of mathematics, especially homotopy theory, logic/set theory, and computer science. Here is a list of all my published papers, preprints, notes, and other stuff I've written related to math.

Blogs and wikis

Papers, preprints, and talks

Homotopy type theory

Categorical Logic and Type Theory (other than HoTT)

Traces and fixed point invariants

Category theory

Homotopy theory

Expository notes and talks

LaTeX Stuff

My collection of convenient basic macros that I use in writing LaTeX papers has grown so large that I maintain it in a GitHub repository. Feel free to have a look; it also contains my BibTeX database.