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

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

A universal characterisation of locally determined omega-colimits

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Cavendish Graduate Students' Conference, December 2009 Seminar Room F4, Staircase F, Old Court, Peterhouse Hybrid: in-person in Cambridge & online via Teams

Other talks

Title TBC Title to be confirmed Packing the Border: Quail Crates and the Regulation of Animal Movement on the US-Mexico Border, 1910s-1940s Cambridge AI in Medicine Seminar - July 2026 TBC What Can a Spectrum Learn? AI Perspectives on the Kohn Laplacian of Sphere Quotients
 

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