From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10765 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Ivan Di Liberti Newsgroups: gmane.science.mathematics.categories Subject: ItaCa Fest - Bonchi and Blechschmidt - 28 June Date: Mon, 27 Jun 2022 02:18:37 +0200 Message-ID: Reply-To: Ivan Di Liberti Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3696.80.82.1.1\)) Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="10913"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Mon Jun 27 20:49:24 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1o5tnX-0002f9-QX for gsmc-categories@m.gmane-mx.org; Mon, 27 Jun 2022 20:49:23 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:33992) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1o5tla-0006Ln-HW; Mon, 27 Jun 2022 15:47:22 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1o5tkz-0002oF-1f for categories-list@rr.mta.ca; Mon, 27 Jun 2022 15:46:45 -0300 X-OrganizationHeadersPreserved: exch2013-01.AD.MTA.CA Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10765 Archived-At: Dear all, The next date of the ItaCa Fest will be June 28, 2022 at 3 pm (Italian = time): - F. Bonchi, - I. Blechschmidt. The zoom link is the following: = https://stockholmuniversity.zoom.us/j/68792232558 While the Fest website is this one: = https://progetto-itaca.github.io/pages/fest22.html Join us (and bring a friend)! Cheers, Beppe, Ivan, Edoardo, Fosco, Paolo. = =E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2= =80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80= =94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94= =E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2=80=94=E2= =80=94=E2=80=94=E2=80=94 Bonchi. Title: Deconstructing Tarski=E2=80=99s calculus of relations with Tape = diagrams Abstract: The calculus of (binary) relations has been introduced by = Tarski as a variable-free alternative to first order logic. In this talk = we introduce tape diagrams, a graphical language for expressing arrows = of arbitrary finite biproduct rig categories, and we show how the = calculus of relation can be encoded within tape diagrams. Blechschmidt. Title: Reifying dynamical algebra, Traveling the mathematical multiverse = to apply tools for the countable also to the uncountable. Abstract: Commutative algebra abounds with proofs which are quite = elegant and at the same time quite abstract. Even for concrete = statements, proofs often appeal to transfinite methods like the axiom of = choice or the law of excluded middle. Following Hilbert=E2=80=99s call, = we should work to elucidate how these abstract proofs can be recast in = more concrete, computational terms, regarding abstract proofs as = intriguing guiding templates for formulating concrete proofs and = regarding objects concocted by Zorn=E2=80=99s lemma such as maximal = ideals as convenient fictions. One such technique for making = computational sense of abstract proofs is dynamical algebra, going back = to the work of Dominique Duval and her coauthors in the 1980=E2=80=99s. = The talk will first present the basic story of dynamical algebra with an = illustrative example. Then we will report on joint work with Peter = Schuster how to reify dynamical algebra using formal metatheorems of = categorical logic, supplying a firm foundation to dynamical algebra, = complementing previous approaches. A particular feature of our approach = is that we apply a construction devised by Berardi and Valentini for the = special case of countable rings, which indeed fundamentally requires the = countability assumption, by a logical sleight of hand by Joyal and = Tierney to arbitrary rings. This trick is applicable quite generally = which is why we believe that it is of interest to a larger group of = people. It is unlocked by categorical logic running on a certain fractal = without points, the pointfree space of enumerations of a given set.= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]