## Well Founded CoalgebrasAdd to your list(s) Download to your calendar using vCal - Paul Taylor (Computer Science, University of Birmingham, honorary)
- Thursday 02 March 2023, 14:00-15:00
- LG23, Computer Science // Zoom.
If you have a question about this talk, please contact Paul Taylor. Joint with Tallinn. Categorical set theory explores ideas taken from set theory to develop mathematics using category theoretic tools. It began in the 1970s when Mikkelsen and Osius interpreted recursion and epsilon-structures in an elementary topos. Well founded coalgebras generalise epsilon-structures to give approximations to the free algebra for a functor even when this does not exist. The main recursion theorem is based on the one of von Neumann for ordinals. Originally that was based on fixed points in complete lattices, but in order to consider more general categories and functors, we must use Pataraia’s Theorem for dcpos instead. However, for our more complicated constructions, we need to find a scalpel not a sledgehammer, so a more subtle form of Pataraia’s Theorem is developed. The paper develops analogues of the recursion theorem and Mostowski extensional quotient potentially in much more general categories, with factorisation systems intead of 1-1 functions. The obvious first application of this generalisation replaces Set with Pos to study the different forms of intuitionistic ordinals that were introduced in the 1990s. This in turn leads to a formulation of transfinite iteration of functors, based on a categorical axiom instead of the set-theoretic axiom-scheme of replacement. See www.paultaylor.eu/ordinals/ for full details. This talk is part of the Lab Lunch series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsCondensed Matter Group Meetings Quantitative Methods in Finance seminar Geometry and Mathematical Physics seminar## Other talksQuantum Sensing in Space The tragic destiny of Mileva Marić Einstein TBA Control variates for computing transport coefficients TBC Life : it’s out there, but what and why ? |