University of Cambridge > > ok259's list >  A universal characterisation of locally determined omega-colimits

A universal characterisation of locally determined omega-colimits

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2024, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity