nLab
Mike Shulman

I am currently a member of the Institute for Advanced Study, participating in the special year on univalent foundations and homotopy type theory. Starting in Fall 2013, I will be an Assistant Professor at the University of San Diego. Here is my web page.

Research-wise, I am interested in (higher) category theory and its applications to the rest of mathematics, particularly homotopy theory. I also tend to be a partisan of higher-categorical structures other than $n$-categories (such as double categories, multicategories, proarrow equipments, F-categories, and so on), which sometimes seem to get neglected.

Personal area

For my own reference: some pages that I’m planning to do some work on:

• theory
• lax 2-adjunction
• structured (infinity,1)-topos and classifying topos
• generalized multicategory, virtual double category, virtual equipment
• functoriality of codiscrete cofibrations,
• create a separate page two-sided fibration, also work on fibration in a 2-category
• categories over computads at monadicity theorem.
• copy some stuff over from my personal web
• write descent object

And here’s how to make a barred arrow $A⇸B$, since I always forget:

  ⇸