On the public citation graph
Constructive complete distributivity IV
0 signed · 45 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bf00873296openalex-snapshot
Constructive complete distributivity IV
inferredcites →https://doi.org/10.1007/bf02574184openalex-snapshot
Continuous posets and adjoint sequences
inferredcites →https://doi.org/10.1007/bf02924844openalex-snapshot
Metric spaces, generalized logic, and closed categories
inferredcites →https://doi.org/10.1016/0021-8693(78)90160-6openalex-snapshot
Yoneda structures on 2-categories
inferredcites →https://doi.org/10.1016/0022-4049(89)90028-5openalex-snapshot
Nuclearity in the category of complete semilattices
inferredcites →https://doi.org/10.1016/0022-4049(91)90005-mopenalex-snapshot
Projective and supercoherent frames
inferredcites →https://doi.org/10.1016/0304-3975(93)90072-2openalex-snapshot
Information systems for continuous posets
inferredcites →https://doi.org/10.1017/s0305004100068377openalex-snapshot
Constructive complete distributivity. I
inferredcites →https://doi.org/10.1017/s0305004100070316openalex-snapshot
Constructive complete distributivity II
inferredcites →https://doi.org/10.1090/memo/0309openalex-snapshot
An extension of the Galois theory of Grothendieck
inferredcites →https://doi.org/10.1090/s0002-9939-1953-0058568-4openalex-snapshot
A Subdirect-Union Representation for Completely Distributive Complete Lattices
inferredcites →https://doi.org/10.4153/cmb-1992-070-6openalex-snapshot
Constructive Complete Distributivity III
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-58140-5_18openalex-snapshot
Coalgebras and approximation
inferred← citeshttps://doi.org/10.1007/s10485-008-9178-8openalex-snapshot
Sequentially Dense Essential Monomorphisms of Acts Over Semigroups
inferred← citeshttps://doi.org/10.1007/s10485-008-9181-0openalex-snapshot
The General Theory of Diads
inferred← citeshttps://doi.org/10.1007/s10485-023-09711-6openalex-snapshot
Profunctors Between Posets and Alexander Duality
inferred← citeshttps://doi.org/10.1007/s10485-025-09801-7openalex-snapshot
Bounded complete J-algebraic lattices
inferred← citeshttps://doi.org/10.1007/s11083-012-9267-zopenalex-snapshot
A Four for the Price of One Duality Principle for Distributive Spaces
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.11.076openalex-snapshot
Towards “Dynamic Domains”: Totally Continuous Cocomplete Q -categories
inferred← citeshttps://doi.org/10.1016/j.ic.2012.10.015openalex-snapshot
Constructing differential categories and deconstructing categories of games
inferred← citeshttps://doi.org/10.1016/j.jpaa.2012.02.024openalex-snapshot
A duality of quantale-enriched categories
inferred← citeshttps://doi.org/10.1016/j.jpaa.2014.04.002openalex-snapshot
The enriched Vietoris monad on representable spaces
inferred← citeshttps://doi.org/10.1016/j.jpaa.2022.107231openalex-snapshot
Duality theory for enriched Priestley spaces
inferred← citeshttps://doi.org/10.1016/j.tcs.2007.01.002openalex-snapshot
Towards “dynamic domains”: Totally continuous cocomplete Q -categories
inferred← citeshttps://doi.org/10.1016/s0022-4049(01)00097-4openalex-snapshot
A basic distributive law
inferred← citeshttps://doi.org/10.1016/s0022-4049(96)00115-6openalex-snapshot
Regular and exact completions
inferred← citeshttps://doi.org/10.1017/cbo9780511550850.002openalex-snapshot
Category Theory for Linear Logicians
inferred← citeshttps://doi.org/10.1023/a:1012095313842openalex-snapshot
Boundedness and Complete Distributivity
inferred← citeshttps://doi.org/10.1090/s0002-9939-1994-1216823-2openalex-snapshot
An Adjoint Characterization of the Category of Sets
inferred← citeshttps://doi.org/10.48550/arxiv.1012.3351openalex-snapshot
A Duality of Quantale-Enriched Categories
inferred← citeshttps://doi.org/10.48550/arxiv.math/0603590openalex-snapshot
Many-valued complete distributivity
inferred← citeshttps://doi.org/10.70930/tac/2uuj24ukopenalex-snapshot
CCD Lattices in Presheaf Categories
inferred← citeshttps://doi.org/10.70930/tac/7k5p4kcbopenalex-snapshot
Duality for distributive spaces
inferred← citeshttps://doi.org/10.70930/tac/8lw33qi6openalex-snapshot
Monads and interpolads in bicategories
inferred← citeshttps://doi.org/10.70930/tac/ap1v6zxzopenalex-snapshot
Regularity vs. constructive complete (co)distributivity
inferred← citeshttps://doi.org/10.70930/tac/bh75xkffopenalex-snapshot
Tensor Products of Sup-Lattices and Generalized Sup-Arrows
showing the first 30 of 31 · page through all 31
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.