Research

Master’s thesis

• Title: A Type Theory for Synthetic categories
• Advisor: Andrej Bauer
• Co-advisor: Egbert Rijke