Polynomial functors
Add to your list(s)
Download to your calendar using vCal
If you have a question about this talk, please contact Sean Moss.
Polynomial functors are the categorical analog of polynomial functions on natural numbers: in other words just the functors constructed from `sum’ and `product’ operations that can be defined for any locally cartesian closed category. I will try to show that, like polynomial functions, this class of functors contains a range of useful examples and can be characterised in several ways. In particular I will look at the connection between algebras of polynomial endofunctors and datatypes representing well-founded trees.
This talk is part of the Junior Category Theory Seminar series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
|