BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:David Spivak (Topos Institute)
DTSTART:20220125T170000Z
DTEND:20220125T180000Z
DTSTAMP:20260414T201100Z
UID:Intercats/1
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Intercats/1/
 ">Categorical interaction in the polynomial ecosystem</a>\nby David Spivak
  (Topos Institute) as part of Intercats: Seminar on Categorical Interactio
 n\n\n\nAbstract\nCategory theory offers an elegant\, compositional\, and w
 ell-interoperating framework in which to formalize many different sorts of
  interacting systems\, including database\, dynamical\, software\, learnin
 g\, and game-playing systems. \n\nIn this talk I'll start by giving a bird
 's-eye view of these applications. I'll then discuss polynomial functors a
 nd the associated framed bicategory Cat# of comonoids. I'll say a bit abou
 t how Cat# fits into the above stories and spend the remainder of the time
  trying to give a hint as to the astounding amount of structure this categ
 ory has. \n\nOne might think of Cat# like the complex numbers: simultaneou
 sly extremely useful in applications and extremely mathematically well-beh
 aved\, the combination of which gives a sense of its being more "part of n
 ature" than "human-made".\n
LOCATION:https://researchseminars.org/talk/Intercats/1/
END:VEVENT
END:VCALENDAR