From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10799 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Giuseppe Metere Newsgroups: gmane.science.mathematics.categories Subject: ItaCa Fest - Cigoli & Reggio Date: Thu, 15 Sep 2022 09:00:08 +0200 Message-ID: Reply-To: Giuseppe Metere Mime-Version: 1.0 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="12654"; mail-complaints-to="usenet@ciao.gmane.io" To: categories list Original-X-From: majordomo@rr.mta.ca Fri Sep 16 20:32:26 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1oZG8X-00033z-Ht for gsmc-categories@m.gmane-mx.org; Fri, 16 Sep 2022 20:32:25 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:59842) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1oZG7S-00066e-14; Fri, 16 Sep 2022 15:31:18 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1oZG6s-0007op-Nk for categories-list@rr.mta.ca; Fri, 16 Sep 2022 15:30:42 -0300 Content-Disposition: inline Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10799 Archived-At: Dear all, The next date of the ItaCa =46est will be September 20, 2022 at 3 pm (Ita= lian time): 3:00 - 3:45 pm:=C2=A0=C2=A0A. S. Cigoli - Groupal Pseudofunctors 4:00 - 4:45 pm:=C2=A0=C2=A0L. Reggio - Arboreal categories and homomorphi= sm preservation theorems The zoom link is the following:=C2=A0https://cs-ox-ac-uk.zoom.us/j/978783= 76376=3Fpwd=3DQithMyt5NzdOeE1EWGJRcjBxamxnUT09 While the =46est website is this one:=C2=A0https://progetto-itaca.github.= io/pages/fest22.html Join us (and bring a friend)=21 Cheers, Beppe, Ivan, Edoardo, =46osco, 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 Alan S. Cigoli Title: Groupal Pseudofunctors Abstract: Let B be an additive category and let Set denote the category o= f sets. A finite product preserving functor =46 from B to Set necessarily= factors through the category Ab of abelian groups. This simple and impor= tant observation has no straightforward generalization when =46 and Set a= re replaced by a pseudo-functor and the 2-category Cat of categories, res= pectively. The latter situation occurs precisely when B is the base categ= ory of an opfibration. In this talk, we will focus on pseudo-functors cor= responding to cartesian monoidal opfibrations of codomain B. Among such, = we will eventually characterize, in terms of oplax and lax monoidal struc= ture, those factorizing through the bicategory of symmetric categorical g= roups. This is the case, for example, when the starting opfibration has g= roupoidal fibres. This is joint work with S. Mantovani and G. Metere. Luca Reggio Title: Arboreal categories and homomorphism preservation theorems Abstract: Game comonads, introduced by Abramsky, Dawar et al. in 2017, pr= ovide a categorical approach to (finite) model theory. In this framework = one can capture, in a purely syntax-free way, various resource-sensitive = logic fragments and corresponding combinatorial parameters. After an intr= oduction to game comonads, I shall present an axiomatic framework which c= aptures the essential common features of these constructions. This is bas= ed on the notion of arboreal category, in which every object is generated= by its =60paths=E2=80=99. I will then show how (resource-sensitive) homo= morphism preservation theorems in logic can be recast and proved at this = axiomatic level. This is joint work with Samson Abramsky. .=C6=B8=D3=9C=C6=B7.=E2=80=A2=C2=B0*=E2=80=9D=CB=9C=CB=9C=E2=80=9D*=C2=B0= =E2=80=A2.=C6=B8=D3=9C=C6=B7.=E2=80=A2=C2=B0*=E2=80=9D=CB=9C=CB=9C=E2=80=9D= *=C2=B0=E2=80=A2.=C6=B8=D3=9C=C6=B7. Giuseppe Metere, PhD Professore di Algebra Dipartimento di Matematica e Informatica Universit=C3=A0 degli Studi di Palermo [For admin and other information see: http://www.mta.ca/~cat-dist/ ]