Abstract Paoli

Abstract: n-types are spaces whose homotopy groups vanish in dimension higher than n. They are the building blocks of spaces thanks to the Postnikov decomposition. The search for combinatorial structures to model algebraically n-types leads to higher categorical structures. In this talk we discuss this problem using a novel approach, based on iterated internal categories and the notion of weak globularity. We discuss the resulting structure, called weakly globular n-fold categories, and its relevance to homotopy theory and to higher category theory.

Share this page:

Contact details

Department of Mathematics
University of Leicester
University Road
Leicester LE1 7RH
United Kingdom

Tel.: +44 (0)116 229 7407

Campus Based Courses

Undergraduate: mathsug@le.ac.uk
Postgraduate Taught: mathspg@le.ac.uk

Postgraduate Research: pgrmaths@le.ac.uk

Distance Learning Course  

Actuarial Science:

DL Study

Student complaints procedure

AccessAble logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has detailed accessibility guides for College House and the Michael Atiyah Building.