You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Tim Hosgood (Sep 14 2021 at 08:43):This Thursday (the 16th) at 17:00 UTC.
Zoom: https://topos-institute.zoom.us/j/5344862882?pwd=Znh3UlUrek41T3RLQXJVRVNkM3Ewdz09
YouTube: https://www.youtube.com/watch?v=r5CwNUJvuxo
Abstract
Infinity-categories have a reputation for being difficult algebraic objects to define and work with. In this talk I will present a new definition of free infinity-category that demystifies them, and makes them easy to understand from an algebraic perspective. The definition is given as a sequence of inductive-recursive data structures, and we explore how this relates to Grothendieck's original ideas on infinity-categories. No knowledge of infinity-categories is required to follow this talk!
This is joint work with Christopher Dean, Eric Finster, Ioannis Markakis and David Reutter.
Tim Hosgood (Sep 16 2021 at 16:44):starting in 15!
James Deikun (Sep 16 2021 at 18:29):mentioned in the talk: Homomorphisms of Higher Categories by Richard Garner
Henry Story (Sep 16 2021 at 18:30):Missed the beginning, so I will listen to the recording later :-)
James Deikun (Sep 16 2021 at 18:33):and I think https://personal.cis.strath.ac.uk/conor.mcbride/pub/SmallIR/SmallIR.pdf was mentioned too? Was this the right one?
James Deikun (Sep 16 2021 at 18:36):Also the cofibrant replacement aspect is explained in Resolutions by polygraphs by F. Metayer according to the nLab.
James Deikun (Sep 16 2021 at 18:37):(Polygraph is another word for computad)
James Deikun (Sep 16 2021 at 18:45):Is there code for these inductive-recursive definitions of computads online? It would be interesting to see some of the more subtle aspects as well as how tied it is to globularity ...