Related papers: The Ho-Zhao Problem
The Ho-Zhao problem asks whether any two dcpo's with isomorphic Scott closed set lattices are themselves isomorphic, that is, whether the category $\mathbf{DCPO}$ of dcpo's and Scott-continuous maps is $\Gamma$-faithful. In 2018, Ho,…
It has been shown that for a dcpo P, the Scott closure of \Gamma_c(P) in \Gamma(P) is a consistent Hoare powerdomain of P, where \Gamma_c(P) is the family of nonempty, consistent and Scott closed subsets of P, and \Gamma(P) is the…
Inspired by Zhao and Xu's study on which a dcpo can be determined by its Scott closed subsets lattice, we further investigate whether a poset (or dcpo) $P$ is able to be determined by the family $\mathcal Q(P)$ of its Scott compact…
By Thron, a topological space $X$ has the property that $C(X)$ isomorphic to $C(Y)$ implies $X$ is homeomorphic to $Y$ iff $X$ is sober and $T_D$, where $C(X)$ and $C(Y)$ denote the lattices of closed sets of $X$ and $T_0$ space $Y$,…
In analogy to a result due to Drake and Thron about topological spaces, this paper studies the dcpos (directed complete posets) which are fully determined, among all dcpos, by their lattices of all Scott-closed subsets (such dcpos will be…
For a poset $P$, let $\sigma(P)$ and $\Gamma(P)$ respectively denote the lattice of its Scott open subsets and Scott closed subsets ordered by inclusion, and set $\Sigma P=(P,\sigma(P))$. In this paper, we discuss the lower Vietoris…
Let $\mathbf{C}$ be a Cauchy-complete category. The subtoposes of $[\mathbf{C}^{\mathrm{op}},\mathbf{Set}]$ are sometimes all of the form $[\mathbf{D}^{\mathrm{op}},\mathbf{Set}]$ where $\mathbf{D}$ is a full subcategory of $\mathbf{C}$.…
We develop domain theory in constructive univalent foundations without Voevodsky's resizing axioms. In previous work in this direction, we constructed the Scott model of PCF and proved its computational adequacy, based on directed complete…
We develop domain theory in constructive and predicative univalent foundations (also known as homotopy type theory). That we work predicatively means that we do not assume Voevodsky's propositional resizing axioms. Our work is constructive…
The paper deals with special types of $L$-ordered set, $L$-fuzzy complete lattices, and fuzzy directed complete posets (fuzzy $dcpo$s). First, a theorem for constructing monotone maps is proved, a characterization for monotone maps on an…
We show the existence of semiorthogonal decompositions of Donaldson-Thomas categories for $(-1)$-shifted cotangent derived stacks associated with $\Theta$-stratifications on them. Our main result gives an analogue of window theorem for…
A non-empty subset of a topological space is irreducible if whenever it is covered by the union of two closed sets, then already it is covered by one of them. Irreducible sets occur in proliferation: (1) every singleton set is irreducible,…
In this paper, we prove that the bounded derived category $D^b_{coh}(Y)$ of coherent sheaves on a separated scheme $Y$ of finite type over a field $\mathrm{k}$ of characteristic zero is homotopically finitely presented. This confirms a…
We construct a complete lattice $Z$ such that the binary supremum function $\sup:Z\times Z\to Z$ is discontinuous with respect to the product topology on $Z\times Z$ of the Scott topologies on each copy of $Z$. In addition, we show that…
We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopenka's principle. We prove that the necessary large-cardinal…
We develop domain theory in constructive and predicative univalent foundations (also known as homotopy type theory). That we work predicatively means that we do not assume Voevodsky's propositional resizing axioms. Our work is constructive…
For a $T_1$ space $X$, Zhao and Xi constructed a dcpo model $\hat{P}$, where $P$ is a bounded complete algebraic poset model of $X$. In this paper, we formulate the closed WD subsets of the maximal point space $\mathrm{Max}(\hat{P})$ and…
Given functors $F,G:\mathcal C\to\mathcal D$ between small categories, when is it possible to say that $F$ can be "continuously deformed" into $G$ in a manner that is not necessarily reversible? In an attempt to answer this question in…
We extend the Dikranjan-Uspenskij notions of c-compact and h-complete topological group to the morphism level, study the stability properties of the newly defined types of maps, such as closure under direct products, and compare them with…
Let ${\mathfrak g}$ be a simple Lie algebra. For a level $\kappa$ (thought of as a symmetric ${\mathfrak g}$-invariant form of ${\mathfrak g}$), let $\hat{\mathfrak g}_\kappa$ be the corresponding affine Kac-Moody algebra. Let $Gr_G$ be the…