Christopher Dean

Christopher Dean

Doctoral Student

Student, St Hugh's College

E: Christopher.Dean@cs.ox.ac.uk

Wolfson Building, Parks Road, Oxford OX1 3QD

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