|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Containers, Comonads and Distributive Laws
If you have a question about this talk, please contact Peter Sewell.
Joint work with James Chapman and Tarmo Uustalu from Institute of Cybernetics, Tallinn
Abbott, Altenkirch, Ghani and others have taught us that many parameterized datatypes can be usefully analyzed via container representations in terms of shapes and positions.
Our work builds on the observation that datatypes often carry additional structure that containers alone do not account for. We introduce directed containers to capture the common situation where every position in a datastructure determines another datastructure, informally, the sub-datastructure rooted by that position. Some natural examples are non-empty lists and node-labelled trees, and datastructures with a designated position (zippers).
While containers denote set functors via a fully-faithful functor, directed containers interpret fully-faithfully into comonads. But more is true: every comonad whose underlying functor is a container is represented by a directed container. In fact, directed containers are the same as containers that are comonads.
Similarly to comonads, directed containers do not generally compose. However, a sufficient condition for two comonads to compose is the existence of a distributive law between them. We develop a corresponding theory for directed containers, present the distributive-law based composition of two directed containers and show that it generalizes the Zappa-Sz\’ep product of two monoids.
This talk is part of the Semantics Lunch (Computer Laboratory) series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsCabinet of Natural History Immunology and Medicine Seminars Thinking Society: Is our university a place of free thinking?
Other talks'Composed of the same materials': dressing alike in Victorian art Building Information Modelling: 2016 and Beyond Development and evolution of vertebrate electroreceptors Economics of Cancer Medicines Diskurse über Armut bei deutschen Vormärz-Autorinnen 1830-1850 ‘The American tributary system in international politics’