Categorial characterization of the MacNeille completion
From MaRDI portal
Publication:2527476
DOI10.1007/BF01898828zbMath0157.34101OpenAlexW2048570116MaRDI QIDQ2527476
Günter Bruns, Bernhard Banaschewski
Publication date: 1967
Published in: Archiv der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01898828
Related Items (79)
Unnamed Item ⋮ Completeness and injectivity ⋮ ORDER DENSE ESSENTIALITY AND BEHAVIOR OF ORDER DENSE INJECTIVITY ⋮ The regular-injective envelope of \(S\)-posets ⋮ Difference-restriction algebras of partial functions with operators: discrete duality and completion ⋮ Topological improvements of categories of structured sets ⋮ CONCRETE CATEGORIES FOR WHICH FIBRE COMPLETIONS INDUCE TOPOLOGICAL COMPLETIONS ⋮ Quasi-injectivity of partially ordered acts ⋮ A calculus of lax fractions ⋮ Injectivity and modelling in the Blass topos ⋮ Complete congruences on topologies and down-set lattices ⋮ Remarks on combinatorial and accessible model categories ⋮ ORDER EXTENSIONS AS ADJOINT FUNCTORS ⋮ Generalized Kripke frames ⋮ On unitary down-closed regular monomorphisms of pomonoid actions ⋮ Essentially complete \(T_0\)-spaces ⋮ Closure categories ⋮ \( \mathcal{Z} \)-quasidistributive and \(\mathcal{Z} \)-meet-distributive posets ⋮ Generalized metric spaces: a survey ⋮ An elementary proof that there are no non-trivial injective lattices ⋮ Amalgamating poset extensions and generating free lattices ⋮ On the algebra of order ⋮ Topological duality and algebraic completions ⋮ Absolute retractness of automata on directed complete posets ⋮ Reduced coproducts of compact Hausdorff spaces ⋮ Spanning retracts of a partially ordered set ⋮ \(\Delta_1\)-completions of a poset. ⋮ Isotone extensions and complete lattices ⋮ Injective hulls as completions ⋮ On exponentiating exponentiation ⋮ Ordered sets: retracts and connections ⋮ A lemma on flatness ⋮ Unities and negation: On the representation of finite lattices ⋮ Lattice and metric completions of the classical logic metric space and a comparison1 ⋮ Fuzzy cut-stable map and its extension property1 ⋮ Exponents of lattice-ordered algebras ⋮ Unnamed Item ⋮ Unital hyperarchimedean vector lattices ⋮ Injective envelopes of transition systems and Ferrers languages ⋮ The Dedekind-MacNeille completion as a reflector ⋮ Bibliography on quantum logics and related structures ⋮ The MacNeille completions for residuated \(S\)-posets ⋮ Injective Compact Distributive Lattices ⋮ Join-completions of \(L\)-ordered sets ⋮ Bicompletions of Distance Matrices ⋮ Isotone maps on lattices ⋮ Kan injectivity in order-enriched categories ⋮ Banaschewski's theorem for \(S\)-posets: regular injectivity and completeness. ⋮ Quasi injectivity andθ-internal order sum in partially ordered acts ⋮ Obituary: Günter Bruns ⋮ Initial completions ⋮ Infinitary equational compactness ⋮ Top element problem and MacNeille completions of generalized effect algebras ⋮ Abschwächungen des Adjunktionsbegriffs ⋮ Increasing and decreasing operators on complete lattices ⋮ Essential extensions and injective hulls of double Stone algebras ⋮ Characterizations of MacNeille completions and topological functors ⋮ The completions of multi-posets and quantum B-algebras ⋮ A categorical characterization of the least \(Q\)-quantale completion of \(Q\)-ordered semigroups ⋮ Categories ⋮ Comparison of MacNeille, canonical, and profinite completions ⋮ Projectives and injectives in the category of complete lattices with residuated mappings ⋮ A fixed point theorem for commuting families of relational homomorphisms. Applications to metric spaces, ordered sets and oriented graphs ⋮ Three remarks on injective envelopes of Banach spaces ⋮ CARTESIAN CLOSED TOPOLOGICAL HULLS AS INJECTIVE HULLS ⋮ Injectivity of topological categories ⋮ Completion of Boolean algebras in MSet ⋮ Residually small varieties ⋮ Structural completeness in many-valued logics with rational constants ⋮ Down closed injectivity and essentialness ⋮ On injective constructions of \(S\)-semigroups ⋮ MacNeille completion and profinite completion can coincide on finitely generated modal algebras ⋮ Injective hulls in the category of mildly distributive semilattices ⋮ Distributive Cauchy lattices ⋮ A characterization of concrete quasitopoi by injectivity ⋮ Injective hulls of many-sorted ordered algebras ⋮ ON REGULAR PRIME INJECTIVITY OF S-POSETS ⋮ Unnamed Item ⋮ Injectivity of directed complete poset acts
Cites Work
This page was built for publication: Categorial characterization of the MacNeille completion