BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY: A universal characterisation of locally determined omega-colimits
  - Ohad Kammar (University of Cambridge)
DTSTART:20140826T140000Z
DTEND:20140826T150000Z
UID:TALK53950@talks.cam.ac.uk
CONTACT:Ohad Kammar
DESCRIPTION:Characterising colimiting omega-cocones of projection pairs in
  terms of least upper bounds of their embeddings and projections is import
 ant to the solution of recursive domain equations. We present a universal 
 characterisation of this local property as omega-cocontinuity of locally c
 ontinuous functors. We present a straightforward proof using the enriched 
 Yoneda embedding. The proof can be generalised to Cattani and Fiore’s no
 tion of locality for adjoint pairs.\n\nThis is a practice talk of about 15
  minutes to be presented at the Domains XI workshop. 
LOCATION:Computer Laboratory\, Room FW11
END:VEVENT
END:VCALENDAR