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 > List objects with algebraic structure

## List objects with algebraic structureAdd to your list(s) Download to your calendar using vCal - Philip Saville (University of Cambridge)
- Tuesday 23 May 2017, 14:15-15:15
- MR5, Centre for Mathematical Sciences.
If you have a question about this talk, please contact Tamara von Glehn. It is well-known that the set of lists over a set X is the free monoid on X. This is in fact true in any monoidal category, for list objects defined as having an initiality property akin to primitive recursion. In certain applications to be discussed during the talk, it is important to extend the notion of monoid to that of T-monoid by further adding a compatible monad algebra structure to monoids. Correspondingly, the notion of list object may be extended to that of T-list object by adding monad algebra structure with respect to which the universal iterator is a homomorphism. We shall see that T-list objects give rise to free T-monoids, and consider practical settings where one can give an explicit construction of them in terms of initial algebras. Finally, I shall concentrate on an application, introducing a notion of near semiring category, and showing how such categories are an appropriate setting to consider operads with compatible algebraic structure. Along the way I will sketch a theory of parametrised initiality for algebras, and point out applications to the theory of abstract syntax. This is joint work with Marcelo Fiore. 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
- MR5, Centre for Mathematical Sciences
- School of Physical Sciences
Note that ex-directory lists are not shown. |
## Other listsBioLunch Business and Society Research Group EPRG E&E and GEP Seminars Series## Other talksEurostar with Philippe Mouly Swimming in a turbulent world Transfection of Babesia parasites and its application for imaging analysis Quaternary Discussion Group seminar Evidence is Not Enough: Towards a democratically legitimate role for evidence in health policymaking Artists’ Session: In pursuit of tipping point |