University of Cambridge > > Category Theory Seminar > A new proof of the lattice property of the Tamari order

A new proof of the lattice property of the Tamari order

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Tamara von Glehn.

The so-called “Tamari order” is the partial ordering on fully-bracketed words induced by a “semi-associative” law (ab)c <= a(bc). Among its many remarkable properties, the order induces a lattice structure on the bracketings of a given word (known as the “Tamari lattice”, or the “rotation lattice of binary trees”), a non-obvious fact that was first proved by Friedman and Tamari in the late 1950s (but published in the late ‘60s).

In this talk, I will describe a new, constructive proof of the lattice property of the Tamari order, which starts from the idea of reconsidering the order as a sequent calculus. Along the way, I will mention connections with the natural notion of “left representable” multicategory recently formulated by Bourke and Lack, as well as some additional motivations coming from the surprising combinatorics of lambda calculus.

(Based on the paper “A sequent calculus for a semi-associative law”, to appear in LMCS . Link:

This talk is part of the Category Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2019, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity