University of Birmingham > Talks@bham > Lab Lunch > A sequent calculus for a semi-associative law

A sequent calculus for a semi-associative law

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

If you have a question about this talk, please contact Dr Steve Vickers.

Time changed - sorry

The classical Tamari order is the partial order on fully-bracketed words obtained by assuming that multiplication is only “semi-associative” (ab)c <= a(bc). In the talk I will describe a simple proof-theoretic characterization of the Tamari order as a sequent calculus with a weakened version of Lambek’s left rule for the non-commutative product. The main result is a “focusing” property (a strengthening of cut-elimination) for this sequent calculus, which yields the following coherence theorem: every valid entailment in the Tamari order has exactly one focused derivation. One novel combinatorial application of this coherence theorem is a new proof of the Tutte-Chapoton formula for the number of intervals in the Tamari lattice. Depending on the interests of the audience and if time permits, I may also discuss how some of these ideas relate to a natural notion of “left representable” multicategory, considered independently in recent work of Bourke and Lack on skew monoidal categories. (Based on a paper presented at FSCD 2017 .)

This talk is part of the Lab Lunch series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.