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 > Logic and Semantics Seminar (Computer Laboratory) > An Algebraic Combinatorial Approach to the Abstract Syntax of Opetopic Structures

## An Algebraic Combinatorial Approach to the Abstract Syntax of Opetopic StructuresAdd to your list(s) Download to your calendar using vCal - Marcelo Fiore, University of Cambridge
- Friday 14 October 2016, 14:00-15:00
- FW26.
If you have a question about this talk, please contact Dominic Mulligan. The starting point of the talk will be the identification of structure common to tree-like combinatorial objects, exemplifying the situation with abstract syntax trees (as used in formal languages) and with opetopes (as used in higher-dimensional algebra). The emerging mathematical structure will be then formalized in a categorical setting, unifying the algebraic aspects of the theory of abstract syntax of [2, 3] and the theory of opetopes of [5]. This realization conceptually allows one to transport viewpoints between these, now bridged, mathematical theories and I will explore it here in the direction of higher-dimensional algebra, giving an algebraic combinatorial framework for a generalisation of the slice construction of [1] for generating opetopes. The technical work will involve setting up a microcosm principle for near-semirings and subsequently exploiting it in the cartesian closed bicategory of generalised species of structures [4]. Connections to (cartesian and symmetric monoidal) equational theories, lambda calculus, and algebraic combinatorics will be mentioned in passing. References - J.Baez and J.Dolan. Higher-Dimensional Algebra III . n-Categories and the Algebra of Opetopes. Advances in Mathematics 135, pages 145–206, 1998.
- M.Fiore, G.Plotkin and D.Turi. Abstract syntax and variable binding. In 14th Logic in Computer Science Conf. (LICS’99), pages 193–202. IEEE , Computer Society Press, 1999.
- M.Fiore. Second-order and dependently-sorted abstract syntax. In Logic in Computer Science Conf. (LICS’08), pages 57–68. IEEE , Computer Society Press, 2008.
- M.Fiore, N.Gambino, M.Hyland, and G.Winskel. The cartesian closed bicategory of generalised species of structures. In J. London Math. Soc., 77:203-220, 2008.
- S.Szawiel and M.Zawadowski. The web monoid and opetopic sets. In arXiv:1011.2374 [math.CT], 2010.
This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series. ## This talk is included in these lists:- All Talks (aka the CURE list)
- Cambridge talks
- Computer Laboratory talks
- Computing and Mathematics
- FW26
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- School of Technology
- Trust & Technology Initiative - interesting events
- bld31
- yk373's list
Note that ex-directory lists are not shown. |
## Other listsBlueSci - Workshops on Science Communication cued Darwin College Sciences Group## Other talksThe genetics of depression Cambridge - Corporate Finance Theory Symposium September 2018 - Day 1 Feeding your genes: The impact of nitrogen availability on gene and genome sequence evolution Hunting for cacti in the caribbean What sort of challenge is climate change? Fifty years of editorialising in ‘Nature’ and ‘Science’ Virtual bargaining as a micro-foundation for communication |