The Ho-Zhao Problem
Given a poset $P$, the set, $\Gamma(P)$, of all Scott closed sets ordered by inclusion forms a complete lattice. A subcategory $\mathbf{C}$ of $\mathbf{Pos}_d$ (the category of posets and Scott-continuous maps) is said to be $\Gamma$-faithful if for any posets $P$ and $Q$ in $\mathbf{C}$, $\Gamma(P)...
| Main Authors: | , , , |
|---|---|
| Formato: | Artigo |
| Idioma: | English |
| Publicado em: |
Logical Methods in Computer Science e.V.
2018-01-01
|
| Colecção: | Logical Methods in Computer Science |
| Assuntos: | |
| Acesso em linha: | https://lmcs.episciences.org/1529/pdf |