Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorMike Shulman
• CommentTimeJul 10th 2019

I’m not sure that the definition on this page is correct. Despite how wrong it seems to a category theorist, I think the adjective “complete” in “cpo” usually refers only to a countable sort of completeness. According to wikipedia, a “cpo” can mean at least three different things dependent on context, but “never” a partial order that’s actually complete as a category (i.e. a complete lattice).

• CommentRowNumber2.
• CommentAuthorAli Caglayan
• CommentTimeJul 11th 2019

I’ve never heard of cpos, but only $\omega$-cpos which are used to model recursion in simply typed lambda calculus.

• CommentRowNumber3.
• CommentAuthorSam Staton
• CommentTimeJul 11th 2019

I think people use “cpo” to mean either “$\omega$-cpo” or “dcpo”. I don’t think I’ve ever seen it used to mean complete lattice. The weird thing is that “cpo” doesn’t seem to appear in the given reference, the AHS book.

• CommentRowNumber4.
• CommentAuthorMike Shulman
• CommentTimeJul 11th 2019

Changed to say that cpos are either dcpos or $\omega$-cpos.