COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

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

## A new proof of the lattice property of the Tamari orderAdd to your list(s) Download to your calendar using vCal - Noam Zeilberger (University of Birmingham)
- Tuesday 05 February 2019, 14:15-15:15
- MR4, Centre for Mathematical Sciences.
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: https://arxiv.org/abs/1803.10080.) This talk is part of the Category Theory Seminar series. ## This talk is included in these lists:- All CMS events
- All Talks (aka the CURE list)
- CMS Events
- Category Theory Seminar
- DPMMS Lists
- DPMMS Pure Maths Seminar
- DPMMS info aggregator
- DPMMS lists
- Hanchen DaDaDash
- Interested Talks
- MR4, Centre for Mathematical Sciences
- School of Physical Sciences
- bld31
- ndb35's list
- yk373's list
Note that ex-directory lists are not shown. |
## Other listsLife Sciences & Society Humanitas and General Science Algebra## Other talksFolic acid between science, policy and the market: mainstreaming pre-conceptional vitamins in the 1980s and '90s St Catharine's Political Economy Seminar Series - "Why Did Economists Fail to Predict the Arab Uprisings?" Niche dependencies for normal and malignant B1 cells Dostoevsky, Sechenov and reflexes of the brain: to a stylistic genealogy of Notes from Underground PRESTIGE LECTURE - QUANTUM TECHNOLOGIES Top-down vs. bottom-up? Effects of prediction and attention on sensory processing and perception |