Abstract Joachim Kock part 2

In the second lecture, the main themes will be trees and polynomial monads.  While specific kinds of trees (P-trees) can be viewed as forming the initial algebra of a polynomial endofunctor 1+P, it is also possible to define trees more combinatorially: a tree is itself a certain polynomial endofunctor.  This leads to the interpretation of P-trees as operations of the free monad on P, emphasising another aspect of trees, namely substitution.  Polynomial monads are essentially operads, and the polynomial viewpoint turns out to be useful in handling the combinatorics underlying algebraic structures, for example to construct model structures on categories of algebras.


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.