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

Here are all my "official" non-blog, non-wiki research writings, in roughly reverse chronological order by subject area.

Homotopy type theory

Traces and fixed point invariants

Category theory

Homotopy theory

Categorical Logic (other than HoTT)

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.