From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: * X-Spam-Status: No, score=1.7 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, FORGED_GMAIL_RCVD,FREEMAIL_FROM,LOCALPART_IN_SUBJECT,RCVD_IN_MSPIKE_H2, SPOOFED_FREEMAIL,SPOOF_GMAIL_MID autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 15050 invoked from network); 3 Mar 2023 02:08:09 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 3 Mar 2023 02:08:09 -0000 Received: from rr.mta.ca ([198.164.44.159]:43228) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1pXupS-0006cl-8v; Thu, 02 Mar 2023 22:07:26 -0400 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1pXuoL-00017y-Hr for categories-list@rr.mta.ca; Thu, 02 Mar 2023 22:06:17 -0400 Date: Tue, 28 Feb 2023 14:23:17 +0200 MIME-Version: 1.0 Content-Language: en-US To: categories@mta.ca From: =?UTF-8?Q?Niccol=c3=b2_Veltri?= Subject: categories: Seminar talk by Paul Taylor on Thursday March 2 2022 Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: 8bit Precedence: bulk Reply-To: =?UTF-8?Q?Niccol=c3=b2_Veltri?= Message-Id: Hi everyone, On Thursday March 2 2023 at 4pm EET (2pm UTC), Paul Taylor will give a presentation on well founded coalgebras. This is a shared event in the seminar series of the "Logic and Semantics" group at Tallinn University of Technology and the "Theory Group" of the School of Computer Science at the University of Birmingham. Everyone is invited to participate! Details on how to access the talk on Zoom are available on any of the following webpages: https://www.paultaylor.eu/ordinals/ http://talks.bham.ac.uk/talk/index/5159 https://niccoloveltri.github.io/tsem22/taylor0203.html Title and abstract of the talk are below. Best, Niccol?? --- "Well Founded Coalgebras" Paul Taylor 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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]