BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Sequential Path Objects - Sori Lee (University of Cambridge)
DTSTART:20140522T130000Z
DTEND:20140522T140000Z
UID:TALK52777@talks.cam.ac.uk
CONTACT:Sean Moss
DESCRIPTION:Recall that we have a notion of paths in graphs: these are str
 ings of "composable" edges. Given an internal multigraph (= multiple edges
  allowed) on an object in a category\, we can construct the object of path
 s in the multigraph\, assuming that the category has necessary structures 
 that facilitate the construction like the natural number object.\n\n \n\nI
 f the objects of a category come equipped with a "natural" internal multig
 raph\, then the aforementioned construction equips the objects of the cate
 gory with a "natural" object of paths. This construction conceptualizes th
 e path object of Jaap van Oosten in the effective topos.\n\n \n\nMy talk w
 ill be anecdotes about this "sequential path object" from the viewpoint of
  modelling intensional type theory.
LOCATION:CMS\, MR3
END:VEVENT
END:VCALENDAR