BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:The Long Exact Sequence of Higher Groups
DTSTART:20200512T101500
DTEND:20200512T111500
DTSTAMP:20260509T100749Z
UID:a7f2c01fcace271d58cfd52594e4ec8f764dcf20b48ea63d49af33c3
CATEGORIES:Conferences - Seminars
DESCRIPTION:Egbert Rijke\, Univerza v Ljubljani\nAn n-group in homotopy t
 ype theory is simply defined to be a pointed connected n-type. With this d
 efinition\, an ordinary 1-group is a pointed connected 1-type. In other wo
 rds\, a 1-group is presented as its classifying space\, and we think of hi
 gher groups as presented in that way too. The fundamental n-group of a typ
 e X at x is then simply the n-truncation of the connected component of X. 
 We formulate a notion of n-exactness\, and show that any fiber sequence F 
 -> E -> B of pointed types induces a long n-exact sequence of homotopy n-g
 roups.
LOCATION:The World Wide Web https://epfl.zoom.us/j/94351048760
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR