FindAPhD Weekly PhD Newsletter | JOIN NOW FindAPhD Weekly PhD Newsletter | JOIN NOW

Property-like structures in Homotopy Type Theory

   Faculty of Engineering and Physical Sciences

This project is no longer listed on and may not be available.

Click here to search for PhD studentship opportunities
  Dr N Gambino  Applications accepted all year round  Competition Funded PhD Project (Students Worldwide)

About the Project

The project seeks to explore the distinction between structure (such as that of a group) and a property (such as that of being Abelian) in the context of Homotopy Type Theory. 

This distinction is particularly important in category theory, where one has to consider 'property-like' structures, i.e. structures that are determined by a universal property up to unique isomorphism (such as pullbacks). 

The project aims to shed new light on the existing theory, developed in the context of 2-dimensional category theory, making use of the notion of a homotopy level of a type and of the Univalence Axiom, both originally introduced by Voevodsky.

Funding Notes

A highly competitive EPSRC Doctoral Training Partnership Partnership Studentship consisting of the award of fees with a maintenance grant of £16,062 in session 2022/23 for 3.5 years. This opportunity is open to all applicants. All candidates will be placed into the EPSRC Doctoral Training Partnership Studentship and selection is based on academic merit.
Search Suggestions
Search suggestions

Based on your current searches we recommend the following search filters.

PhD saved successfully
View saved PhDs