On the public citation graph

Categorical characterization of the MacNeille completion

0 signed · 153 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.

Claim with ORCID

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.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/malq.19560020803openalex-snapshot

Hüllensysteme und Erweiterung von Quasi‐Ordnungen

inferredcites →https://doi.org/10.1007/978-1-4612-9855-7openalex-snapshot

Lectures on Boolean Algebras

inferredcites →https://doi.org/10.1007/bf01899665openalex-snapshot

Über injektive Moduln

inferredcites →https://doi.org/10.1090/pspum/002/0137671openalex-snapshot

Injective and projective Boolean algebras

inferredcites →https://doi.org/10.1090/s0002-9947-1937-1501929-xopenalex-snapshot

Partially Ordered Sets

inferredcites →https://doi.org/10.1515/9783112552506-006openalex-snapshot

inferredcites →https://doi.org/10.1515/crll.1962.209.167openalex-snapshot

Darstellungen und Erweiterungen geordneter Mengen. I.

inferredcites →https://doi.org/10.1515/crll.1962.210.1openalex-snapshot

Darstellungen und Erweiterungen geordneter Mengen. II.

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/mana.19760750105openalex-snapshot

The Duality BetweenM-Spaces and Compact Hausdorff Spaces

inferred← citeshttps://doi.org/10.1002/mana.19931630123openalex-snapshot

On the MacNeille Completion of the Category of Partially Ordered Topological Spaces

inferred← citeshttps://doi.org/10.1007/3-540-16816-8_24openalex-snapshot

Concrete categories and injectivity

inferred← citeshttps://doi.org/10.1007/978-1-4020-1898-5_1openalex-snapshot

Adjunctions and Galois Connections: Origins, History and Development

inferred← citeshttps://doi.org/10.1007/978-1-4612-4108-9_6openalex-snapshot

Unities and Negation

inferred← citeshttps://doi.org/10.1007/978-1-4757-0507-2_3openalex-snapshot

Lattice Theory

inferred← citeshttps://doi.org/10.1007/978-1-4899-3558-8_44openalex-snapshot

The Normal Completion of the Lattice of Continuous Functions

inferred← citeshttps://doi.org/10.1007/978-3-030-57201-3_7openalex-snapshot

Injective Objects and Fibered Codensity Liftings

inferred← citeshttps://doi.org/10.1007/978-3-030-76920-8_4openalex-snapshot

Topological Duality and Algebraic Completions

inferred← citeshttps://doi.org/10.1007/978-3-319-01586-6_6openalex-snapshot

Fixed Point Theory in Ordered Sets from the Metric Point of View

inferred← citeshttps://doi.org/10.1007/978-3-540-77664-2_18openalex-snapshot

Completions of Ordered Algebraic Structures: A Survey

inferred← citeshttps://doi.org/10.1007/978-3-642-29892-9_24openalex-snapshot

Quantitative Concept Analysis

inferred← citeshttps://doi.org/10.1007/978-3-642-38164-5_20openalex-snapshot

Bicompletions of Distance Matrices

inferred← citeshttps://doi.org/10.1007/978-94-009-7798-3_2openalex-snapshot

Exponentiation and Duality

inferred← citeshttps://doi.org/10.1007/978-94-017-0470-0_4openalex-snapshot

Supercategories of Top and the Inevitable Emergence of Topological Constructs

inferred← citeshttps://doi.org/10.1007/bf00383401openalex-snapshot

The Dedekind-MacNeille completion as a reflector

inferred← citeshttps://doi.org/10.1007/bf00735530openalex-snapshot

Orthospaces and quantum logic

inferred← citeshttps://doi.org/10.1007/bf00739999openalex-snapshot

Bibliography on quantum logics and related structures

inferred← citeshttps://doi.org/10.1007/bf01084981openalex-snapshot

Categories

inferred← citeshttps://doi.org/10.1007/bf01172336openalex-snapshot

Abschw�chungen des Adjunktionsbegriffs

inferred← citeshttps://doi.org/10.1007/bf01198525openalex-snapshot

Distributive Cauchy lattices

inferred← citeshttps://doi.org/10.1007/bf01211836openalex-snapshot

Injectivity of topological categories

inferred← citeshttps://doi.org/10.1007/bf01215227openalex-snapshot

Initial completions

inferred← citeshttps://doi.org/10.1007/bf01396458openalex-snapshot

Projectives and injectives in the category of complete lattices with residuated mappings

inferred← citeshttps://doi.org/10.1007/bf01507294openalex-snapshot

Essentially complete TO-spaces

inferred← citeshttps://doi.org/10.1007/bf02435707openalex-snapshot

Closure categories

inferred← citeshttps://doi.org/10.1007/bf02482909openalex-snapshot

An elementary proof that there are no non-trivial injective lattices

inferred← citeshttps://doi.org/10.1007/bf02483875openalex-snapshot

A lemma on flatness

inferred← citeshttps://doi.org/10.1007/bf02483911openalex-snapshot

Exponents of lattice-ordered algebras

inferred← citeshttps://doi.org/10.1007/bf02485414openalex-snapshot

Essential extensions and injective hulls of double Stone algebras

inferred← citeshttps://doi.org/10.1007/bf02485700openalex-snapshot

Infinitary equational compactness

inferred← citeshttps://doi.org/10.1007/bf02573051openalex-snapshot

The translational hull in semigroups and rings

inferred← citeshttps://doi.org/10.1007/bf02945005openalex-snapshot

Residually small varieties

inferred← citeshttps://doi.org/10.1007/bfb0059535openalex-snapshot

Compact injectives and Non-Standard Analysis

inferred← citeshttps://doi.org/10.1007/bfb0065266openalex-snapshot

Initial and final completions

inferred← citeshttps://doi.org/10.1007/bfb0066891openalex-snapshot

Minimal topological completion of KBan1→KVec

inferred← citeshttps://doi.org/10.1007/bfb0080862openalex-snapshot

Envelopes in the category of Kakutani-m-spaces

inferred← citeshttps://doi.org/10.1007/bfb0080865openalex-snapshot

Topological functors admitting generalized Cauchy-completions

inferred← citeshttps://doi.org/10.1007/bfb0098455openalex-snapshot

Unary operations on completely distributive complete lattices

inferred← citeshttps://doi.org/10.1007/s00012-005-1939-8openalex-snapshot

Categories of partial frames

inferred← citeshttps://doi.org/10.1007/s00012-007-2033-1openalex-snapshot

MacNeille completions of lattice expansions

inferred← citeshttps://doi.org/10.1007/s00012-009-0028-9openalex-snapshot

MacNeille completion and profinite completion can coincide on finitely generated modal algebras

inferred← citeshttps://doi.org/10.1007/s00012-012-0191-2openalex-snapshot

Isotone maps on lattices

inferred← citeshttps://doi.org/10.1007/s00012-026-00935-wopenalex-snapshot

On reflections for ordered algebras

inferred← citeshttps://doi.org/10.1007/s00233-010-9207-4openalex-snapshot

Banaschewski’s theorem for S-posets: regular injectivity and completeness

inferred← citeshttps://doi.org/10.1007/s00233-015-9691-7openalex-snapshot

The regular-injective envelope of $$S$$ S -posets

inferred← citeshttps://doi.org/10.1007/s10485-006-9054-3openalex-snapshot

Complete Congruences on Topologies and Down-set Lattices

inferred← citeshttps://doi.org/10.1007/s10699-020-09702-zopenalex-snapshot

On Finch’s Conditions for the Completion of Orthomodular Posets

inferred← citeshttps://doi.org/10.1007/s10773-019-04046-2openalex-snapshot

The MacNeille Completions for Residuated S-Posets

inferred← citeshttps://doi.org/10.1007/s10958-020-04769-2openalex-snapshot

Isotone Extensions and Complete Lattices

inferred← citeshttps://doi.org/10.1007/s11083-008-9095-3openalex-snapshot

Comparison of MacNeille, Canonical, and Profinite Completions

inferred← citeshttps://doi.org/10.1007/s11083-011-9226-0openalex-snapshot

Delta(1)-completions of a poset

inferred← citeshttps://doi.org/10.1007/s11083-019-09495-2openalex-snapshot

$\mathcal {Z}$-quasidistributive and $\mathcal {Z}$-meet-distributive Posets

inferred← citeshttps://doi.org/10.1007/s11083-021-09584-1openalex-snapshot

Injective Hulls in the Category of Mildly Distributive Semilattices

inferred← citeshttps://doi.org/10.1007/s11083-022-09594-7openalex-snapshot

Amalgamating Poset Extensions and Generating Free Lattices

inferred← citeshttps://doi.org/10.1007/s11083-023-09634-wopenalex-snapshot

Algebras, Graphs and Ordered Sets – ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet

inferred← citeshttps://doi.org/10.1007/s11083-023-09645-7openalex-snapshot

Injective Hulls are Completions of Ordered Algebras

inferred← citeshttps://doi.org/10.1007/s11225-006-9008-7openalex-snapshot

Generalized Kripke Frames

inferred← citeshttps://doi.org/10.1007/s11784-015-0232-5openalex-snapshot

Generalized metric spaces: A survey

inferred← citeshttps://doi.org/10.1016/0012-365x(80)90093-xopenalex-snapshot

Spanning retracts of a partially ordered set

inferred← citeshttps://doi.org/10.1016/0016-660x(75)90012-4openalex-snapshot

Local reflectivity + stable reflectivity = reflectivity

inferred← citeshttps://doi.org/10.1016/0016-660x(78)90019-3openalex-snapshot

Dedekind-MacNeille extensions of Boolean algebras and of vector lattices of continuous functions and their structure spaces

inferred← citeshttps://doi.org/10.1016/0022-0000(80)90038-0openalex-snapshot

On the algebra of order

inferred← citeshttps://doi.org/10.1016/0022-247x(69)90131-0openalex-snapshot

Three remarks on injective envelopes of Banach spaces

inferred← citeshttps://doi.org/10.1016/0022-4049(81)90050-5openalex-snapshot

On exponentiating exponentiation

inferred← citeshttps://doi.org/10.1016/0022-4049(82)90001-9openalex-snapshot

Unities and negation: on the representation of finite lattices

inferred← citeshttps://doi.org/10.1016/0022-4049(82)90074-3openalex-snapshot

Ordered sets: Retracts and connections

inferred← citeshttps://doi.org/10.1016/0022-4049(87)90120-4openalex-snapshot

Injectivity and modelling in the blass topos

inferred← citeshttps://doi.org/10.1016/0022-4049(90)90128-5openalex-snapshot

A characterization of concrete quasitopoi by injectivity

inferred← citeshttps://doi.org/10.1016/0097-3165(76)90008-xopenalex-snapshot

Increasing and decreasing operators on complete lattices

inferred← citeshttps://doi.org/10.1016/0166-8641(87)90101-5openalex-snapshot

Topological improvements of categories of structured sets

inferred← citeshttps://doi.org/10.1016/j.fss.2011.12.011openalex-snapshot

Join-completions of L-ordered sets

inferred← citeshttps://doi.org/10.1016/j.fss.2019.02.012openalex-snapshot

On injective constructions of S-semigroups

inferred← citeshttps://doi.org/10.1016/j.fss.2019.04.021openalex-snapshot

A categorical characterization of the least Q-quantale completion of Q-ordered semigroups

inferred← citeshttps://doi.org/10.1016/j.fss.2019.04.025openalex-snapshot

The completions of multi-posets and quantum B-algebras

inferred← citeshttps://doi.org/10.1016/j.indag.2025.02.005openalex-snapshot

Degrees of join-distributivity via Bruns–Lakser towers

inferred← citeshttps://doi.org/10.1016/j.jalgebra.2022.03.039openalex-snapshot

Difference–restriction algebras of partial functions with operators: Discrete duality and completion

inferred← citeshttps://doi.org/10.1016/j.jlap.2009.05.003openalex-snapshot

Completion of Boolean algebras in MSet

inferred← citeshttps://doi.org/10.1016/j.jpaa.2016.07.002openalex-snapshot

A calculus of lax fractions

inferred← citeshttps://doi.org/10.1016/j.topol.2014.03.016openalex-snapshot

Unital hyperarchimedean vector lattices

inferred← citeshttps://doi.org/10.1016/j.topol.2019.106970openalex-snapshot

A fixed point theorem for commuting families of relational homomorphisms. Applications to metric spaces, ordered sets and oriented graphs

inferred← citeshttps://doi.org/10.1016/j.topol.2020.107503openalex-snapshot

Completeness and injectivity

inferred← citeshttps://doi.org/10.1016/s0020-7373(77)80042-4openalex-snapshot

The fuzzy decade: a bibliography of fuzzy systems and closely related topics

inferred← citeshttps://doi.org/10.1016/s0034-4877(15)60020-9openalex-snapshot

Top Element Problem and Macneille Completions of Generalized Effect Algebras

inferred← citeshttps://doi.org/10.1016/s0167-5060(08)70148-1openalex-snapshot

References

inferred← citeshttps://doi.org/10.1016/s0304-0208(08)73816-7openalex-snapshot

Representing Ordered Sets by Chains

inferred← citeshttps://doi.org/10.1016/s1571-0831(06)04001-9openalex-snapshot

Memory Evolutive Systems

inferred← citeshttps://doi.org/10.1017/s0004972700008017openalex-snapshot

Characterizations of MacNeille completions and topological functors

inferred← citeshttps://doi.org/10.1017/s0008439500030228openalex-snapshot

Ontario Mathematical Meetings - Winter, 1969

inferred← citeshttps://doi.org/10.1017/s0017089500001312openalex-snapshot

Injective hulls as completions

inferred← citeshttps://doi.org/10.1017/s0960129514000024openalex-snapshot

Kan injectivity in order-enriched categories

inferred← citeshttps://doi.org/10.1023/a:1015106515413openalex-snapshot

Quantum Logic in Intuitionistic Perspective

inferred← citeshttps://doi.org/10.1023/a:1015270120061openalex-snapshot

Weak Factorization Systems and Topological Functors

inferred← citeshttps://doi.org/10.1023/a:1024464032027openalex-snapshot

Injective Hulls of T0 Topological Fibre Spaces

inferred← citeshttps://doi.org/10.1023/b:orde.0000034755.82568.09openalex-snapshot

Obituary: Günter Bruns

inferred← citeshttps://doi.org/10.1051/ita/2020005openalex-snapshot

Injective envelopes of transition systems and Ferrers languages

inferred← citeshttps://doi.org/10.1080/00927872.2016.1226856openalex-snapshot

Injectivity of directed complete poset acts

inferred← citeshttps://doi.org/10.1080/00927872.2017.1291812openalex-snapshot

Purity in the category ofS-posets

inferred← citeshttps://doi.org/10.1080/16073606.1986.9632112openalex-snapshot

ORDER EXTENSIONS AS ADJOINT FUNCTORS

inferred← citeshttps://doi.org/10.1080/16073606.1986.9632116openalex-snapshot

CARTESIAN CLOSED TOPOLOGICAL HULLS AS INJECTIVE HULLS

inferred← citeshttps://doi.org/10.1080/16073606.1991.9631642openalex-snapshot

CONCRETE CATEGORIES FOR WHICH FIBRE COMPLETIONS INDUCE TOPOLOGICAL COMPLETIONS

inferred← citeshttps://doi.org/10.1090/s0002-9939-1973-0309818-0openalex-snapshot

Injective Compact Distributive Lattices

inferred← citeshttps://doi.org/10.1090/s0002-9947-1993-1085935-2openalex-snapshot

On Injectivity in Locally Presentable Categories

inferred← citeshttps://doi.org/10.1093/logcom/exaa024openalex-snapshot

Order polarities

inferred← citeshttps://doi.org/10.1109/indusis.2010.5565787openalex-snapshot

Notice of Retraction: Regular abstraction of granule in a concept lattice

inferred← citeshttps://doi.org/10.1109/lics.2005.11openalex-snapshot

Completions of µ-algebras

inferred← citeshttps://doi.org/10.1109/paccs.2010.5626951openalex-snapshot

Decomposition based granule of concept lattice in network communication

inferred← citeshttps://doi.org/10.1109/proc.1978.11171openalex-snapshot

Fuzzy sets, fuzzy algebra, and fuzzy statistics

inferred← citeshttps://doi.org/10.1109/sfcs.1978.28openalex-snapshot

On the algebra of order extended abstract

inferred← citeshttps://doi.org/10.1112/jlms/s2-17.2.203openalex-snapshot

Exponents of Finite Simple Lattices

inferred← citeshttps://doi.org/10.1137/0211041openalex-snapshot

Completions of Partially Ordered Sets

inferred← citeshttps://doi.org/10.1142/9789814503105_bmatteropenalex-snapshot

BACK MATTER

inferred← citeshttps://doi.org/10.1142/s0219498817500086openalex-snapshot

Absolute retractness of automata on directed complete posets

inferred← citeshttps://doi.org/10.1142/s0219498821501188openalex-snapshot

Down closed injectivity and essentialness

inferred← citeshttps://doi.org/10.1142/s0219498822500475openalex-snapshot

Quasi-injectivity of partially ordered acts

inferred← citeshttps://doi.org/10.1215/00294527-2022-0021openalex-snapshot

Structural Completeness in Many-Valued Logics with Rational Constants

inferred← citeshttps://doi.org/10.1515/forum-2012-0095openalex-snapshot

On the Dedekind completion of function rings

inferred← citeshttps://doi.org/10.1515/gmj.2009.29openalex-snapshot

Profinite Heyting Algebras and Profinite Completions of Heyting Algebras

inferred← citeshttps://doi.org/10.1515/math-2019-0101openalex-snapshot

Injective hulls of many-sorted ordered algebras

inferred← citeshttps://doi.org/10.1556/sscmath.36.2000.1-2.1openalex-snapshot

Embeddings and absolute retracts of relational system

inferred← citeshttps://doi.org/10.2307/2274391openalex-snapshot

Reduced coproducts of compact Hausdorff spaces

inferred← citeshttps://doi.org/10.2478/auom-2022-0004openalex-snapshot

Divisible hypermodules

inferred← citeshttps://doi.org/10.2989/16073606.2014.981721openalex-snapshot

Equivariant completeness and regular injectivity ofS-posets

inferred← citeshttps://doi.org/10.2989/16073606.2017.1418456openalex-snapshot

On unitary down-closed regular monomorphisms of pomonoid actions

inferred← citeshttps://doi.org/10.2989/16073606.2018.1455759openalex-snapshot

Quasi injectivity andθ-internal order sum in partially ordered acts

inferred← citeshttps://doi.org/10.3233/fi-2015-1188openalex-snapshot

On the Completion of Rough Sets System Determined by Arbitrary Binary Relations

inferred← citeshttps://doi.org/10.3233/ifs-151987openalex-snapshot

Lattice and metric completions of the classical logic metric space and a comparison1

inferred← citeshttps://doi.org/10.3233/ifs-151990openalex-snapshot

Fuzzy cut-stable map and its extension property1

inferred← citeshttps://doi.org/10.3390/axioms10020083openalex-snapshot

About the Normal Projectivity and Injectivity of Krasner Hypermodules

inferred← citeshttps://doi.org/10.3390/math11214525openalex-snapshot

Torsion Elements and Torsionable Hypermodules

inferred← citeshttps://doi.org/10.37069/1810-3200-2019-16-4-5openalex-snapshot

Isotone extensions and complete lattices

inferred← citeshttps://doi.org/10.4134/jkms.2015.52.1.067openalex-snapshot

REGULAR INJECTIVITY AND EXPONENTIABILITY IN THE SLICE CATEGORIES OF ACTIONS OF POMONOIDS ON POSETS

inferred← citeshttps://doi.org/10.4153/cjm-1982-008-6openalex-snapshot

Some Obstacles to Duality in Topological Algebra

inferred← citeshttps://doi.org/10.4230/lipics.calco.2015.130openalex-snapshot

Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra

inferred← citeshttps://doi.org/10.46298/entics.10339openalex-snapshot

Quantaloidal Completions of Order-enriched Categories and Their Applications

inferred← citeshttps://doi.org/10.48550/arxiv.1103.1339openalex-snapshot

Isotone maps on lattices

inferred← citeshttps://doi.org/10.48550/arxiv.1204.5802openalex-snapshot

Quantitative Concept Analysis

inferred← citeshttps://doi.org/10.48550/arxiv.1303.6428openalex-snapshot

Bicompletions of distance matrices

inferred← citeshttps://doi.org/10.48550/arxiv.1410.5839openalex-snapshot

Weak Factorization System for Actions of Po-monoids on Posets

inferred← citeshttps://doi.org/10.48550/arxiv.1505.01098openalex-snapshot

Towards concept analysis in categories: limit inferior as algebra, limit superior as coalgebra

inferred← citeshttps://doi.org/10.48550/arxiv.2002.03019openalex-snapshot

Generalized metric spaces. Relations with graphs, ordered sets and automata : A survey

inferred← citeshttps://doi.org/10.56415/qrs.v31.11openalex-snapshot

Injective and projective poset acts

inferred← citeshttps://doi.org/10.70930/tac/b5u2lh8kopenalex-snapshot

A note on injective hulls of posemigroups

inferred← citeshttps://doi.org/10.70930/tac/h5ctvo5lopenalex-snapshot

KZ-monadic categories and their logic

inferred← citeshttps://doi.org/10.70930/tac/z1kptu10openalex-snapshot

Remarks on combinatorial and accessible model categories

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.