BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Towards higher formal category theory [MPIM]
DTSTART:20251118T100000Z
DTEND:20251118T113000Z
DTSTAMP:20260417T215000Z
UID:indico-event-813@math-events.uni-bonn.de
DESCRIPTION:Speakers: Nathanael Arkor (Tallinn University of Technology)\n
 \nAbstract Homotopy Theory Seminar\nFormal category theory is a synthetic\
 , axiomatic approach to category theory that abstracts the essential featu
 res of different flavours of category theory\, including enriched category
  theory\, internal category theory\, monoidal category theory\, and so on.
  A notable aspect of formal category theory is that it is fundamentally do
 uble category theoretic (and not\, for instance\, bicategory theoretic). T
 o compare different formal category theories\, the question therefore aris
 es as into what structure double categories assemble. In contrast to the s
 ituation for n-categories\, which are known to naturally assemble into (n 
 + 1)-categories\, the situation for n-tuple categories has been little stu
 died. I will discuss this problem\, explain why it is more subtle than it 
 might at first appear\, and give an answer when n <= 2\, concluding by pre
 senting a conjecture regarding general n.\nThis talk is based on joint wor
 k with James Deikun and Keisuke Hoshino.\n\nhttps://math-events.uni-bonn.d
 e/event/813/
LOCATION:MPIM\, Vivatsgasse\,  7 - Seminar Room (Max Planck Institute for 
 Mathematics)
URL:https://math-events.uni-bonn.de/event/813/
END:VEVENT
END:VCALENDAR