Abstract Joachim Kock part 3

In the third lecture, I'll talk about combinatorial species and polynomial functors over groupoids and infinity groupoids, covering first the necessary background (which is not so much).  Groupoid coefficients are needed to transparently handle combinatorial structures with symmetries, and in particular combinatorial structures with so many symmetries that they don't form classical species (such as Feynman graphs).

Infinity-groupoid coefficients serve to capture higher homotopical data, such as inherent in intensional type 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.