Home

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