BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//132.216.98.100//NONSGML kigkonsult.se iCalcreator 2.20.4//
BEGIN:VEVENT
UID:20250810T080151EDT-1049o2P05w@132.216.98.100
DTSTAMP:20250810T120151Z
DESCRIPTION:“What is a topos?”\n\n\n	The first mutation was provoked by the 
 introduction of the notion of elementary topos by Lawvere and Tierney in t
 he late 60\; it is connecting topos theory with intuitionistic logic. The 
 second mutation was provoked by the introduction of the notion of model to
 pos by Charles Rezk in the late 90\; it was extensively developed by Jacob
  Lurie in his book 'Higher topos theory'\; it is connecting topos theory w
 ith homotopy theory and higher category theory. A third mutation is presen
 tly emerging under the impulse of homotopy type theory\, the new field of 
 mathematics initiated by the homotopy interpretation of Martin-Lof type th
 eory by Awodey\, Warren and Voevodski. There is a profound unity between t
 hese developements. We believe that topos theory is best understood from a
  dual algebraic point of view. We propose calling the dual notion an 'aren
 a' (tentative name). The theory of arenas has many things in common with t
 he theory of commutative rings.\n\n
DTSTART:20180227T193000Z
DTEND:20180227T203000Z
LOCATION:Room 920\, Burnside Hall\, CA\, QC\, Montreal\, H3A 0B9\, 805 rue 
 Sherbrooke Ouest
SUMMARY:André Joyal (UQAM) 
URL:/mathstat/channels/event/andre-joyal-uqam-285301
END:VEVENT
END:VCALENDAR