The limit–colimit coincidence theorem for -categories

We prove that the category of -cocomplete separated -categories has bilimits of expanding sequences. This result generalises on various levels the well-known theorem of domain theory that guarantees the existence of bilimits in the category of directed-complete posets and Scott-continuous maps.

Saved in:
Bibliographic Details
Published in:Mathematical structures in computer science 2010-04, Vol.20 (2), p.267-284
Main Authors: KOSTANEK, MATEUSZ, WASZKIEWICZ, PAWEŁ
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We prove that the category of -cocomplete separated -categories has bilimits of expanding sequences. This result generalises on various levels the well-known theorem of domain theory that guarantees the existence of bilimits in the category of directed-complete posets and Scott-continuous maps.
ISSN:0960-1295
1469-8072
DOI:10.1017/S0960129509990387