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