An absolute characterisation of locally determined omega-colimits
Category Theory
2015-08-21 v1 Logic in Computer Science
Abstract
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.
Keywords
Cite
@article{arxiv.1508.05072,
title = {An absolute characterisation of locally determined omega-colimits},
author = {Ohad Kammar},
journal= {arXiv preprint arXiv:1508.05072},
year = {2015}
}
Comments
Talk proposal for the Domains XI 2014 Workshop, uploaded for archiving purposes