From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10381 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Steve Vickers Newsgroups: gmane.science.mathematics.categories Subject: YaMCATS category theory seminars on Zoom next Friday, 5 Feb Date: Sat, 30 Jan 2021 12:18:18 +0000 Message-ID: Reply-To: Steve Vickers Mime-Version: 1.0 (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="18636"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca list" Original-X-From: majordomo@rr.mta.ca Sun Jan 31 05:21:06 2021 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 1l64EU-0004l5-Bi for gsmc-categories@m.gmane-mx.org; Sun, 31 Jan 2021 05:21:06 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:41948) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1l64Cb-0005ts-Ew; Sun, 31 Jan 2021 00:19:09 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1l6498-0007RA-A7 for categories-list@rr.mta.ca; Sun, 31 Jan 2021 00:15:34 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10381 Archived-At: YaMCATS is the Yorkshire and Midlands Category Theory Seminars https://www2.le.ac.uk/departments/mathematics/extranet/staff-material/sta= ff-profiles/simona-paoli/yorkshire-and-midlands-category-theory-seminar-yamc= ats Our next meeting, virtual by Zoom, will be hosted by Nicola Gambino at Leeds= University next Friday afternoon. Details and Zoom link below. Nicola Gambino Simona Paoli Steve Vickers YaMCATS - Friday 5th February - University of Leeds (via Zoom) All times are UK (GMT =3D UTC+00:00). 14:30-15:30 Martin Escardo (University of Birmingham), Equality of mathemati= cal structures 15:30-16:30 Sina Hazratpour (University of Leeds), Kripke-Joyal semantics fo= r dependent type theory 16:30-17:00 Break 17:00-18:00 John Baez, Structured versus decorated cospans Zoom links: Nicola Gambino is inviting you to a scheduled Zoom meeting. Topic: YaMCATS 23 Time: Feb 5, 2021 02:30 PM London Join Zoom Meeting https://universityofleeds.zoom.us/j/81042397132?pwd=3DRTg3MFV1TUt2YzJXZVZJSk= hoOEQwQT09 Meeting ID: 810 4239 7132 Passcode: 683026 Abstracts Martin Escardo Title: Equality of mathematical structures Abstract. Two groups are regarded to be the same if they are isomorphic, two= topological spaces are regarded to be the same if they are homeomorphic, tw= o metric spaces are regarded to be the same if they are isometric, two categ= ories are regarded to be the same if they are equivalent, etc. In Voevodsky'= s Univalent Foundations (HoTT/UF), the above become theorems: we can replace= "are regarded to be the same=E2=80=9D by "are the same". I will explain how= this works. I will not assume previous knowledge of HoTT/UF or type theory.= Sina Hazratpur (University of Leeds) Title: Kripke-Joyal semantics for dependent type theory=20 Abstract. Every topos has an internal higher-order intuitionistic logic. The= so-called Kripke=E2=80=93Joyal semantics of a topos gives an interpretation= to formulas written in this language used to express ordinary mathematics i= n that topos. The Kripke=E2=80=93Joyal semantics is in fact a higher order g= eneralization of the well-known Kripke semantic for intuitionistic propositi= onal logic. In this talk I shall report on joint work with Steve Awodey and N= icola Gambino on extending the Kripke=E2=80=93Joyal semantics to dependent t= ype theories, including homotopy type theory. John Baez (University of California at Riverside) Structured versus decorated cospans Abstract. One goal of applied category theory is to understand open systems:= that is, systems that can interact with the external world. We compare two= approaches to describing open systems as cospans equipped with extra data: s= tructured and decorated cospans. Each approach provides a symmetric monoida= l double category, and we prove that under certain conditions these symmetri= c monoidal double categories are equivalent. We illustrate these ideas wit= h applications to dynamical systems and epidemiological modeling. This is j= oint work with Kenny Courser and Christina Vasilakopoulou.= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]