Christopher Dean

Christopher Dean

Doctoral Student

Student, St Hugh's College

Leaving date: 31st October 2022

Interests

My current work focuses on the foundations of higher category theory including applications to type theory and homotopy theory.

Selected Publications

View AllManage publications

• Globular Multicategories with Homomorphism Types

  Christopher J. Dean

  May, 2020.

  Details about Globular Multicategories with Homomorphism Types | BibTeX data for Globular Multicategories with Homomorphism Types | Link to Globular Multicategories with Homomorphism Types

Activities

• Quantum Group

Supervisor