The Higher Structures in Category Theory, Homotopy Theory and Type Theory is a scientific network between the Universities of Aberdeen, Birmingham, Manchester and Nottingham. It is focused on higher structures both in their foundational aspects and in their applications to mathematics and theoretical computer science.
Network organizers:
Eric Finster (Department of Computer Science, University of Birmingham)
Nicola Gambino (Department of Mathematics, University of Manchester)
Nicolai Kraus (School of Computer Science, University of Nottingham)
Simona Paoli (Department of Mathematics, University of Aberdeen)
The network is supported by a grant from the Isaac Newton Institute for the Mathematical Sciences and the Heilbronn Institute for Mathematical Research (number EP/V521917/1 and EP/Z000589//1).