BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:The quasi-category of homotopy coherent monads in a (∞\, 2)-cate
 gory.
DTSTART:20161108T101500
DTEND:20161108T113000
DTSTAMP:20260916T203828Z
UID:8d16aa26bd58bc8f2a66829bfb5f77dfbe3f001bc8f1514cfe021e52
CATEGORIES:Conferences - Seminars
DESCRIPTION:Dimitri Zaganidis\n(EPFL)\n \nHomotopy coherent diagrams in a
  simplicial category K can be encoded as simplicial functors C → K\, whe
 re C is a well chosen simplicial category. This idea goes back at least to
  Cordier and Porter (Math. Proc. Cambridge Philos. Soc. 1986) and originat
 ed in earlier work of Vogt (Math. Z. 134\, 1973) on homotopy coherent diag
 rams. For instance\, the homotopy coherent nerve is constructed in this wa
 y. In Riehl and Verity’s paper (Adv. Math. 2016)\, C is the universal 2-
 category containing the object of study\, either a monad or an adjunction.
  For instance they define homotopy coherent monads as simplicial functors 
 Mnd → K\, where K = qCat∞ \, the category of quasi-categories enriched
  over itself\, and where Mnd is the universal 2-category containing a mona
 d.\n\nIn this talk\, we define a cosimplicial object Mnd[-] in 2-categorie
 s which induces a nerve N_Mnd : sCat → sSet. When K is a 2-category\, N_
 Mnd(K) = N(Mnd(K))\, where Mnd(K) is the 1-category of monads in K\, as de
 fined by Street in (JPAA 1972). We will sketch the proof that when K is en
 riched in quasi-categories and sufficiently complete\, NMnd (K) is a quasi
 -category whose objects are the homotopy coherent monads in K.
LOCATION:CM113
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR