Completely distributive enriched categories are not always continuous

Dexue Zhang; Hongliang Lai

Completely distributive enriched categories are not always continuous

T0 review · 0 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Complete distributivity does not imply continuity for categories enriched over a continuous t-norm.

desk verdict Settles a natural enriched-category question with an iff criterion and a concrete counterexample; the only real caveat is an imported saturation result that is cited, not proved. read the letter →

arxiv 1908.01106 v2 pith:YQU5UFQH submitted 2019-08-03 math.CT

Hongliang Lai , Dexue Zhang This is my paper · ORCID

classification math.CT MSC 18B3518D2006D1006F07

keywords enrichedcategorycontinuoust-normcompletelydistributivequantale-enrichedforwardCauchyweightlawcopresheafmonadordinalsumoft-norms

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

In classical domain theory, every completely distributive lattice is continuous in the Scott sense. This paper shows that the enriched analogue fails: for categories whose hom-sets take truth values in $[0,1]$ equipped with a continuous t-norm (a commutative, associative, continuous conjunction $\&$ with unit $1$), a completely distributive category need not be continuous. The main result, Theorem 6.4, gives a precise equivalence: every completely distributive $\mathcal{Q}$-category is continuous exactly when the t-norm's implication $x\to y$ is continuous at every point off the diagonal, which in turn means that every non-idempotent component $[a^-,a^+]$ lying strictly above $0$ is isomorphic to the product t-norm. The paper exhibits a continuous t-norm with a Łukasiewicz component on $[1/2,1]$ for which $([0,1],d_L)$ is completely distributive but not continuous, so the failure is not a pathology of exotic quantales but of the unit interval itself. The interest is that continuity of quantitative domains, the notion that supports approximation and fixed-point arguments, now depends on the analytic regularity of the truth-value monoid, not only on order completeness.

What carries the argument

The load-bearing object is the saturated class $\mathcal{C}$ of forward Cauchy weights: presheaves on a $\mathcal{Q}$-category generated by nets whose tail hom-values eventually reach the unit, playing the role of ideals. A $\mathcal{Q}$-category is continuous when the embedding $e_A\colon A\to \mathcal{C}A$ has both a left and a right adjoint, i.e. a string $t_A\dashv \sup_A \dashv e_A$, and completely distributive when the same adjoint string holds for the full presheaf monad $\mathcal{P}$. The paper's general structural theorem, Theorem 5.2, converts the question 'is every completely distributive $\mathcal{Q}$-category $T$-continuous?' into monad theory: yes exactly when the copresheaf monad $\mathcal{P}^\dagger$ distributes over $T$. For $T=\mathcal{C}$ on $[0,1]$ with a continuous t-norm, this distributivity condition is then rewritten, via the ordinal sum decomposition of continuous t-norms, as an analytic condition on the implication map, giving Theorem 6.4.

What would settle it

On the paper's example t-norm, evaluate at the idempotent boundary $1/2$: for $\varphi=\bigvee_{r<1/2} y(r)$ and $x\in(1/2,1)$, continuity would require $x\to \sup\varphi=\bigwedge_{y\ll x}\varphi(y)$, but the two sides compute as $3/2-x$ and $1/2$; the theorem predicts exactly this failure, and any t-norm where such an equality held despite a Łukasiewicz component above $0$ would refute Theorem 6.4.

Watch

Extended reading notes

Core claim

The central discovery is a dichotomy for $\mathcal{Q}=([0,1],\&,1)$ with $\&$ a continuous t-norm. Theorem 6.4 states that the following are equivalent: (1) every completely distributive $\mathcal{Q}$-category is continuous; (2) the $\mathcal{Q}$-category $([0,1],d_L)$ is continuous, where $d_L(x,y)=x\to y$; (3) every non-idempotent component $[a^-,a^+]$ of $\&$ with $a^- > 0$ is isomorphic to the product t-norm; (4) the implication $\to$ is continuous at every point off the diagonal; (5) for every $p\in(0,1]$, the map $p\to -$ is Scott continuous on $[0,p)$; (6) for every complete $\mathcal{Q}$-category $A$, the inclusion $\mathcal{C}A \hookrightarrow \mathcal{P}A$ has a left adjoint; and (7) the copresheaf monad $\mathcal{P}^\dagger$ distributes over $\mathcal{C}$, the saturated class of forward Cauchy weights. Since a t-norm built by putting a Łukasiewicz summand on $[1/2,1]$ and the minimum elsewhere violates condition (3), the paper concludes that complete distributivity does not imply continuity in general, and the obstruction is exactly the presence of a non-product component at positive height.

Load-bearing premise

The argument treats as a black box the theorem that forward Cauchy weights form a saturated class of weights for any integral continuous quantale; if that saturation failed for some continuous t-norm on $[0,1]$, the definition of continuity and the equivalences in Theorem 6.4 would not be well-founded.

Editorial extensions

If this is right

For the Gödel t-norm (minimum) and the product t-norm on $[0,1]$, the implication is continuous off the diagonal, so every completely distributive $\mathcal{Q}$-category is continuous; the lattice theorem survives in these truth-value monoids.
For the standard Łukasiewicz t-norm on the whole interval, the non-idempotent component starts at $0$, so the obstruction disappears and every completely distributive $\mathcal{Q}$-category is again continuous.
Any continuous t-norm with a Łukasiewicz summand on an interval $[a,b]$ with $a>0$ yields a $\mathcal{Q}$-category $([0,1],d_L)$ that is completely distributive but not continuous.
By Proposition 4.7, one can test the whole property on presheaf categories alone: all completely distributive $\mathcal{Q}$-categories are continuous if and only if $\mathcal{P}A$ is continuous for every $\mathcal{Q}$-category $A$.
Theorem 5.2 applies to any saturated class of weights $T$, not just forward Cauchy weights, so the dichotomy 'complete distributivity implies $T$-continuity iff $\mathcal{P}^\dagger$ distributes over $T$' is a general phenomenon.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

One testable extension is to replace $[0,1]$ with other continuous integral quantales, such as $[0,\infty]^{\mathrm{op}}$ with addition or with the maximum-convolution quantale; Theorem 5.2 reduces the question to checking whether $\mathcal{P}^\dagger$ distributes over $\mathcal{C}$, a purely monadic calculation.
The analytic condition 'implication continuous off the diagonal' suggests a classification project: describe all continuous t-norms for which every completely distributive category is continuous; by Theorem 6.3 these are ordinal sums in which every summand placed strictly above $0$ is product-like.
The paper's counterexample indicates that in quantitative domain theory over t-norms, approximation relations and fixed-point theorems cannot be assumed to follow from complete distributivity; one should instead check Scott continuity of the cotensor maps $p\to -$ or $p\,\&\, -$, as in Proposition 4.12 and Remark 6.5.
A reader might expect symmetry with completely co-distributive categories: Corollary 4.14 shows that completely co-distributive $\mathcal{Q}$-categories are always continuous under mild hypotheses, so the failure is special to complete distributivity, not to its dual.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The short version: this paper answers a natural question in quantale-enriched category theory—whether complete distributivity implies continuity—and shows the answer depends on the t-norm. It does this with a clean iff characterization (Theorem 6.4) and a concrete counterexample (a continuous t-norm with a Lukasiewicz component on [1/2,1]). I think it is a solid paper and deserves a serious referee.

What is genuinely new: the reduction to a distributive-law condition (Theorem 5.2) is a nice organizing idea, and the seven equivalent conditions in Theorem 6.4 are real structural results, not just a single counterexample. The proof that (2) implies (3) is the delicate part; it uses the characterization of continuous Q-categories (Prop 4.11) and the ordinal-sum decomposition of continuous t-norms. I checked the local logic and it hangs together. The authors also make a useful contrast with complete co-distributivity, where the implication still holds (Cor 4.14).

The soft spot is external rather than internal. The whole notion of continuous Q-category rests on the fact that forward Cauchy weights form a saturated class of weights for any integral continuous quantale (Prop 4.3). That proposition is imported from [6,20], with no proof here, and the authors explicitly say they do not know whether saturation holds without that sufficient condition. The stress-test note is right that this is load-bearing: if Prop 4.3 failed for the specific t-norm used in the counterexample, Definition 4.5 and the main theorem would lose their foundation. But I do not read this as a fatal flaw. It is an ordinary dependency on published results by the authors and others, and the cited theorem is exactly tailored to the integral continuous case. In pure mathematics, that is standard practice. I would have preferred a one-line reminder of why the cited theorem applies to continuous t-norms (they are integral and continuous lattices), but the paper already says that.

Minor quibbles: some steps are labeled 'routine' or 'trivial' (e.g., (3) => (4) in Theorem 6.4) and could use more detail for a non-specialist. The counterexample at the end is clear, though the paper does not spell out why ([0,1],d_L) is completely distributive—presumably standard from earlier sections. The reference list looks appropriate; self-citations are background results, not the target result.

Who it is for: people working in quantitative domains, enriched category theory, and fuzzy order structures. It is not a broad-audience paper, but it resolves an open question in that subfield. I recommend sending it to peer review; the main theorem is worth careful checking by the right referees.

Referee Report

0 major / 6 minor

Summary. The paper studies whether complete distributivity of a quantale-enriched category implies continuity in the sense of forward Cauchy weights, mirroring the classical fact that every completely distributive lattice is continuous. The main result, Theorem 6.4, gives a complete characterization for Q=([0,1],&,1) with a continuous t-norm &: every completely distributive Q-category is continuous if and only if the associated implication is continuous at every point off the diagonal, equivalently if and only if every non-idempotent ordinal-sum component [a-,a+] with a->0 is isomorphic to the product t-norm. The paper then constructs a continuous t-norm with a Łukasiewicz component on [1/2,1] for which the Q-category ([0,1],d_L) is completely distributive but not continuous. The proof uses the structure theorem for continuous t-norms, the theory of saturated classes of weights, and a distributive-law criterion.

Significance. The result is a clean, nontrivial enrichment of a basic lattice-theoretic fact. It shows that the implication 'completely distributive implies continuous' depends essentially on the structure of the truth-value quantale, and it gives a concrete and easily described counterexample. The paper connects the analytic property of the implication (continuity off the diagonal) to the algebraic structure of the t-norm (ordinal sum components), which is both surprising and useful. The technical development is careful: the main proof chain in Theorem 6.4 is explicit, and the use of forward Cauchy weights and saturated classes is coherent. The paper also provides a useful categorical framework (distributive laws) for the general question.

minor comments (6)

[§4, Proposition 4.10] The proof uses the equality ⋀_i ⋁_{d∈Γ(φ_i)} A(x,d) = ⋁_{s∈∏ Γ(φ_i)} ⋀_i A(x,s(i)), which is a complete distributivity property of the lattice Q, not a consequence of continuity alone. As stated, Proposition 4.10 (and consequently Proposition 4.11) may fail for continuous integral quantales whose underlying lattice is not completely distributive. Since the main theorem only needs Q=[0,1], this can be fixed by either restricting the hypotheses to completely distributive Q or adding a justification for the equality under the stated continuity assumption.
[§6.4, proof of (5)⇒(6)] The assertion that the set D = {d ∈ A | p ≤ φ(d)} is directed is not justified. A brief argument using that Γ(φ) is an ideal and that the cotensor map p ⊸ − is order-preserving would make the proof fully self-contained.
[§4, Proposition 4.3] The saturation of the class of forward Cauchy weights is imported from the published papers [6,20]. Since this is a load-bearing input for the entire framework of continuous Q-categories, a remark stating the precise theorem and its hypotheses, or a proof sketch, would make the paper more self-contained.
[§6.3, Theorem 6.3] The ordinal sum decomposition theorem is cited to [15,24]; for completeness, the specific form of the isomorphism for the product component could be spelled out, as it is directly used in the proof of (2)⇒(3) in Theorem 6.4.
[§6, counterexample] After defining the counterexample t-norm, the paper states that ([0,1],d_L) is completely distributive. This follows from Proposition 3.3, but a one-sentence explanation would improve readability.
[Throughout] The text contains many typographical artifacts that appear to be PDF extraction errors (e.g., '/suppress' before 'Lukasiewicz' and '/d47/d47' in diagrams). The authors should ensure that the final published version is free of such artifacts.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 6.4 is derived from stated definitions and external structural theorems, and the self-citations are background results rather than the target claim.

full rationale

The paper's central dichotomy is not circular. Theorem 6.4 is obtained by a chain of implications: (1)⇒(2) is instantiation, (2)⇒(3) is a concrete computation with a forward Cauchy weight that contradicts continuity of ([0,1],d_L) when a Lukasiewicz component exists, (3)⇒(4) is a routine topological verification, (4)⇒(5) is immediate, (5)⇒(6) proves closure of CA under meets and cotensors, and (6)⇒(7) and (7)⇒(1) use Lemma 5.3 and Theorem 5.2, whose proofs are given in the text. Thus the seven statements are shown equivalent by arguments in the paper, not by restating an input. The only load-bearing imported premise is Proposition 4.3, which makes the class C of forward Cauchy weights saturated for integral continuous quantales; the paper explicitly notes that it does not know whether saturation holds generally and cites [6,20] for the sufficient condition. This is an external background theorem whose assumptions (integral continuous quantale) do not include the target conclusion (complete distributivity implies continuity), and the counterexample after Theorem 6.4 is genuinely informative: it exhibits a continuous t-norm whose Lukasiewicz component makes ([0,1],d_L) non-continuous, so the implication from complete distributivity to continuity fails. No parameter is fitted and then renamed a prediction, and no uniqueness claim from the authors' earlier work is used to force the choice of C. The self-citations [18,19,20,31] concern previously published background facts; they are not the load-bearing derivation of the dichotomy. Accordingly, the honest finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The paper introduces no new entities or fitted parameters. It imports standard theorems about continuous t-norms, KZ-doctrines, and the saturation of forward Cauchy weights. The only self-cited imported result is Proposition 4.3 from [20], which is published and not assumed as the target result.

assumptions (3)

domain assumption Forward Cauchy weights form a saturated class of weights for every integral continuous quantale (Proposition 4.3, attributed to [6,20])
This imported theorem underlies the definition of continuous Q-categories (Definition 4.5) and the claim that C is a submonad of P. The central characterization in Theorem 6.4 would lose its meaning if this failed.
standard math Structure theorem for continuous t-norms: every non-idempotent element lies in a component isomorphic to the product or Lukasiewicz t-norm, and ordinal sums of such components are continuous t-norms (Theorem 6.3, [15,24])
Used in the proof of (2)⇒(3) and in constructing the counterexample with a Lukasiewicz component on [1/2,1].
standard math The presheaf monad P is a KZ-doctrine and the copresheaf monad P† is a co-KZ-doctrine on Q-Cat (Section 2, [8,16,35])
Used throughout to identify P-algebras with separated cocomplete Q-categories and to derive the retract characterizations in Propositions 3.3-3.5 and Lemma 5.3.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Completely distributive enriched categories are not always continuous." pith.science (2026). https://pith.science/paper/YQU5UFQH

@misc{pith2026190801106,
  author       = {Pith},
  title        = {Pith review of: Completely distributive enriched categories are not always continuous},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YQU5UFQH}},
  note         = {Machine review of arXiv:1908.01106}
}

read the original abstract

In contrast to the fact that every completely distributive lattice is necessarily continuous in the sense of Scott, it is shown that complete distributivity of a category enriched over the closed category obtained by endowing the unit interval with a continuous t-norm does not imply its continuity in general. Necessary and sufficient conditions for the implication are presented.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

[1]

Ad´ amek, F

J. Ad´ amek, F. W. Lawvere, J. Rosick´ y, Continuous categories revisited, Theory and Applications of Categories 11: 252–282, 2003

work page 2003
[2]

M. H. Albert, G. M. Kelly, The closure of a class of colimits, Journal Pure and Applied Algebra 51: 1–17, 1998

work page 1998
[3]

Bonsangue, F

M. Bonsangue, F. van Breugel, J. Rutten, Generalized metric sp aces: Completion, topology, and powerdomains via the Yoneda embedding, Theoretical Computer Sci- ence 193: 1–51, 1998

work page 1998
[4]

Borceux, Handbook of Categorical Algebra, Volume 2, Cambridge University Press, 1994

F. Borceux, Handbook of Categorical Algebra, Volume 2, Cambridge University Press, 1994

work page 1994
[5]

Fawcett, R

B. Fawcett, R. J. Wood, Constructive complete distributivity, Mathematical Proceed- ings of the Cambridge Philosophical Society 107: 81–89, 1990

work page 1990
[6]

R. C. Flagg, P. S¨ underhauf, K. R. Wagner, A logical approach to quantitative domain theory, Topology Atlas, Preprint 23, 1996

work page 1996
[7]

Gierz, K

G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, D. S. Scott, Con- tinuous Lattices and Domains , volume 93 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 2003

work page 2003
[8]

Hofmann, Duality for distributive spaces, Theory and Applications of Categories 28: 66-122, 2013

D. Hofmann, Duality for distributive spaces, Theory and Applications of Categories 28: 66-122, 2013

work page 2013

Show all 35 references

[9]

Hofmann, G

D. Hofmann, G. J. Seal, W. Tholen (editors), Monoidal Topology: A Categorical Ap- proach to Order, Metric, and Topology , volume 153 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 2014

2014
[10]

Hofmann, P

D. Hofmann, P. Waszkiewicz, Approximation in quantale-enriched categories, Topol- ogy and its Applications 158: 963–977, 2011. 22

2011
[11]

Hofmann, P

D. Hofmann, P. Waszkiewicz, A duality of quantale-enriched cat egories, Journal of Pure and Applied Algebra 216: 1866–1878, 2012

2012
[12]

Johnstone, Stone Spaces, Cambridge University Press, 1982

P. Johnstone, Stone Spaces, Cambridge University Press, 1982

1982
[13]

Johnstone, A

P. Johnstone, A. Joyal, Continuous categories and exponent iable toposes, Journal of Pure and Applied Algebra 25: 255–296, 1982

1982
[14]

G. M. Kelly, V. Schmitt, Notes on enriched categories with colimits of some class, Theory and Applications of Categories 14: 399-423, 2005

2005
[15]

E. P. Klement, R. Mesiar, E. Pap, Triangular Norms, volume 8 of Trends in Logic, Springer, Dordrecht, 2000

2000
[16]

Kock, Monads for which structures are adjoint to units, Journal of Pure and Applied Algebra 104: 41–59, 1995

A. Kock, Monads for which structures are adjoint to units, Journal of Pure and Applied Algebra 104: 41–59, 1995

1995
[17]

Kostanek, P

M. Kostanek, P. Waszkiewicz, The formal ball model for L-categories, Mathematical Structures in Computer Science 21: 41–64, 2011

2011
[18]

H. Lai, L. Shen, Regularity vs. constructive complete (co)dist ributivity, Theory and Applications of Categories 33: 492–522, 2018

2018
[19]

H. Lai, L. Shen, W. Tholen, Lax distributive laws for topology II, Theory and Ap- plications of Categories 32: 736–768, 2017

2017
[20]

H. Lai, D. Zhang, Complete and directed complete Ω-categories , Theoretical Com- puter Science 388: 1–25, 2007

2007
[21]

F. W. Lawvere, Metric spaces, generalized logic and closed cate gories, Rendiconti del Seminario Mat´ ematico e Fisico di MilanoXLIII: 135–166, 1973

1973
[22]

R. B. Lucyshyn-Wright, Totally distributive toposes, Journal of Pure and Applied Algebra 216: 2425–2431, 2012

2012
[23]

Marmolejo, R

F. Marmolejo, R. Rosebrugh, R. Wood, Completely and totally dis tributive cate- gories, Journal of Pure and Applied Algebra 216: 1775–1790, 2012

2012
[24]

P. S. Mostert, A. L. Shields, On the structure of semigroups o n a compact manifold with boundary, Annals of Mathematics , 65: 117–143, 1957

1957
[25]

Q. Pu, D. Zhang, Categories enriched over a quantaloid: Algebr as, Theory and Ap- plications of Categories 30: 751–774, 2015

2015
[26]

K. I. Rosenthal, Quantales and their Applications , volume 234 of Pitman research notes in mathematics series, Longman, Harlow, 1990. 23

1990
[27]

Stubbe, Categorical structures enriched in a quantaloid: c ategories, distributors and functors, Theory and Applications of Categories 14: 1–45, 2005

I. Stubbe, Categorical structures enriched in a quantaloid: c ategories, distributors and functors, Theory and Applications of Categories 14: 1–45, 2005

2005
[28]

Stubbe, Categorical structures enriched in a quantaloid: t ensored and cotensored categories, Theory and Applications of Categories 16: 283–306, 2006

I. Stubbe, Categorical structures enriched in a quantaloid: t ensored and cotensored categories, Theory and Applications of Categories 16: 283–306, 2006

2006
[29]

dynamic domains

I. Stubbe, Towards “dynamic domains”: Totally continuous cocomplete Q-categories, Theoretical Computer Science 373: 142–160, 2007

2007
[30]

Hausdorﬀ distance

I. Stubbe, “Hausdorﬀ distance” via conical cocompletion, Cahiers de Topologie et G´ eom´ etrie Diﬀ´ erentielle Cat´ egoriques51: 51–76, 2010

2010
[31]

Stubbe, The double power monad is the composite power mona d, Fuzzy Sets and Systems 313: 25–42, 2017

I. Stubbe, The double power monad is the composite power mona d, Fuzzy Sets and Systems 313: 25–42, 2017

2017
[32]

K. R. Wagner, Solving Recursive Domain Equations with Enriched Categori es, PhD thesis, Carnegie Mellon University, Pittsburgh, 1994

1994
[33]

K. R. Wagner, Liminf convergence in Ω-categories, Theoretical Computer Science 184: 61–104, 1997

1997
[34]

R. J. Wood, Ordered sets via adjunctions, in: Categorical Foundations, volume 97 of Encyclopedia of Mathematics and its Applications, pp. 5–47, Cambrid ge University Press, Cambridge, 2004

2004
[35]

Z¨ oberlein, Doctrines on 2-categories, Mathematische Zeitschrift 148: 267–279, 1976

V. Z¨ oberlein, Doctrines on 2-categories, Mathematische Zeitschrift 148: 267–279, 1976. School of Mathematics, Sichuan University, Chengdu 610064 , China Email: hllai@scu.edu.cn dxzhang@scu.edu.cn

1976

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [1]

Ad´ amek, F

J. Ad´ amek, F. W. Lawvere, J. Rosick´ y, Continuous categories revisited, Theory and Applications of Categories 11: 252–282, 2003

work page 2003

[2] [2]

M. H. Albert, G. M. Kelly, The closure of a class of colimits, Journal Pure and Applied Algebra 51: 1–17, 1998

work page 1998

[3] [3]

Bonsangue, F

M. Bonsangue, F. van Breugel, J. Rutten, Generalized metric sp aces: Completion, topology, and powerdomains via the Yoneda embedding, Theoretical Computer Sci- ence 193: 1–51, 1998

work page 1998

[4] [4]

Borceux, Handbook of Categorical Algebra, Volume 2, Cambridge University Press, 1994

F. Borceux, Handbook of Categorical Algebra, Volume 2, Cambridge University Press, 1994

work page 1994

[5] [5]

Fawcett, R

B. Fawcett, R. J. Wood, Constructive complete distributivity, Mathematical Proceed- ings of the Cambridge Philosophical Society 107: 81–89, 1990

work page 1990

[6] [6]

R. C. Flagg, P. S¨ underhauf, K. R. Wagner, A logical approach to quantitative domain theory, Topology Atlas, Preprint 23, 1996

work page 1996

[7] [7]

Gierz, K

G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, D. S. Scott, Con- tinuous Lattices and Domains , volume 93 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 2003

work page 2003

[8] [8]

Hofmann, Duality for distributive spaces, Theory and Applications of Categories 28: 66-122, 2013

D. Hofmann, Duality for distributive spaces, Theory and Applications of Categories 28: 66-122, 2013

work page 2013