Article contents
The limit–colimit coincidence theorem for -categories
Published online by Cambridge University Press: 25 March 2010
Abstract
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.
- Type
- Paper
- Information
- Mathematical Structures in Computer Science , Volume 20 , Special Issue 2: Domains , April 2010 , pp. 267 - 284
- Copyright
- Copyright © Cambridge University Press 2010
References
- 1
- Cited by