BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/9735/7-March-2018-Algebra|Coalgebra-Seminar-Benno
-van-den-Berg
DTSTAMP:20180302T004236
SUMMARY:Algebra|Coalgebra Seminar, Benno van den B
erg
ATTENDEE;ROLE=Speaker:Benno van den Berg
DTSTART:20180307T160000
DTEND:20180307T170000
LOCATION:Room F1.15, ILLC, Science Park 107, Amste
rdam
DESCRIPTION:The purpose of this talk is to introdu
ce the notion of a path category (short for a cate
gory with path objects). Like other notions from h
omotopical algebra, such as a category of fibrant
objects or a Quillen model structure, it provides
a setting in which one can develop some homotopy t
heory. For a logician this type of category is int
eresting because it provides a setting in which ma
ny of the key concepts of homotopy type theory (Ho
TT) make sense. Indeed, path categories provide a
syntax-free way of entering the world of HoTT, and
familiarity with (the syntax of) type theory will
not be assumed in this talk. Instead, I will conc
entrate on basic examples and results. (This is pa
rtly based on joint work with Ieke Moerdijk.)
X-ALT-DESC;FMTTYPE=text/html:\n The purpose of
this talk is to introduce the notion of a path ca
tegory (short for a category with path objects). L
ike other notions from homotopical algebra, such a
s a category of fibrant objects or a Quillen model
structure, it provides a setting in which one can
develop some homotopy theory. For a logician this
type of category is interesting because it provid
es a setting in which many of the key concepts of
homotopy type theory (HoTT) make sense. Indeed, pa
th categories provide a syntax-free way of enterin
g the world of HoTT, and familiarity with (the syn
tax of) type theory will not be assumed in this ta
lk. Instead, I will concentrate on basic examples
and results. (This is partly based on joint work w
ith Ieke Moerdijk.)

\n
URL:http://events.illc.uva.nl/alg-coalg
CONTACT:Frederik Lauridsen at f.m.lauridsen at uva
.nl
END:VEVENT
END:VCALENDAR