BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Jarl G. Taxeras Flaten (Western Univ. Canada)
DTSTART:20240119T160000Z
DTEND:20240119T171500Z
DTSTAMP:20260423T005713Z
UID:CIRGET/112
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CIRGET/112/"
 >Central types and their bands</a>\nby Jarl G. Taxeras Flaten (Western Uni
 v. Canada) as part of CRM - Séminaire du CIRGET / Géométrie et Topologi
 e\n\nLecture held in PK-5115.\n\nAbstract\nWe will introduce and motivate 
 the concept of a central type (or space) and explain their associated noti
 on of torsor\, called a band. Much like one can deloop a group G by its ty
 pe of torsors BG\, the type of bands of a central type A forms a delooping
  of A. Moreover\, we show that the delooping of A is itself central\, allo
 wing us to iterate. This procedure yields a new construction of Eilenberg-
 Mac Lane spaces\, which are examples of central types. We also produce a m
 ysterious formula for delooping pointed self-maps of A\, and study the mod
 uli space of H-space structures on a pointed type.\n\nOur results have bee
 n shown in homotopy type theory\, and most have been formalized using the 
 Coq-HoTT library [1]. For this talk\, we do not assume familiarity with ty
 pe theory\; rather\, we will translate our results for topologists. This w
 ork is joint with Ulrik Buchholtz\, Dan Christensen\, and Egbert Rijke. [2
 ]\n\n[1] https://github.com/jarlg/central-types\n[2] https://arxiv.org/abs
 /2301.02636\n
LOCATION:https://researchseminars.org/talk/CIRGET/112/
END:VEVENT
END:VCALENDAR