Contact
Email
Location
LGRT 1327

Research Interests

Higher category theory, formal category theory