Abstract
In [6] and [7] Meseguer conjectured that in the category Pos(ω) of ω-complete posets and ω-continuous maps the epis are exactly the dense maps. This paper exhibits a counter-example to Meseguer's conjecutre, draws a number of negative conclusions and strengthens another of Meseguer's results. By embedding Pos(ω) in the category of partial algebras of an adequate type, a better understanding is obtained both of these results and of the conjecture.
Original language | English |
---|---|
Pages (from-to) | 151-161 |
Number of pages | 11 |
Journal | Theoretical Computer Science |
Volume | 17 |
Issue number | 2 |
DOIs | |
State | Published - Feb 1982 |