Epis need not be dense

Daniel Lehmann*, Ana Pasztor

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

7 Scopus citations

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 languageEnglish
Pages (from-to)151-161
Number of pages11
JournalTheoretical Computer Science
Volume17
Issue number2
DOIs
StatePublished - Feb 1982

Fingerprint

Dive into the research topics of 'Epis need not be dense'. Together they form a unique fingerprint.

Cite this