Home

Welcome to the home page of the Categories and Type Theory research group at the University of San Diego!

Current year-round local group members:

  • Michael Shulman, Associate Professor
  • Chaitanya Leena Subramanam, Postdoctoral Researcher