A universal characterisation of locally determined omega-colimits

Add to your list(s) Download to your calendar using vCal

• Ohad Kammar (University of Cambridge)
• Tuesday 26 August 2014, 15:00-16:00
• Computer Laboratory, Room FW11.

If you have a question about this talk, please contact Ohad Kammar.

Characterising colimiting omega-cocones of projection pairs in terms of least upper bounds of their embeddings and projections is important to the solution of recursive domain equations. We present a universal characterisation of this local property as omega-cocontinuity of locally continuous functors. We present a straightforward proof using the enriched Yoneda embedding. The proof can be generalised to Cattani and Fiore’s notion of locality for adjoint pairs.

This is a practice talk of about 15 minutes to be presented at the Domains XI workshop.

This talk is part of the ok259's list series.

This talk is included in these lists:

• Computer Laboratory, Room FW11

Note that ex-directory lists are not shown.