Research interests: category theory and homotopy theory.