<p>The present article aims to develop a categorical duality for the category of bounded complete <i>J</i>-algebraic lattices. In terms of the lattice of weak ideals, we first construct a left adjoint to the forgetful functor <b>Sup</b><InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9801_Article_IEq1.gif" Format="GIF" Height="6" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rightarrow \)</EquationSource> <EquationSource Format="MATHML"><math> <mo stretchy="false">→</mo> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9801_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf {Pos}}_\vee \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">Pos</mi> <mo>∨</mo> </msub> </math></EquationSource> </InlineEquation>, where <b>Sup</b> is the category of complete lattices and join-preserving maps and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9801_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf {Pos}}_\vee \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">Pos</mi> <mo>∨</mo> </msub> </math></EquationSource> </InlineEquation> is the category of posets and maps that preserve existing binary joins. Based on which, we propose the concept of <i>W</i>-structures over posets and give a <i>W</i>-structure representation for bounded complete <i>J</i>-algebraic posets, which generalizes the representation of algebraic lattices. Finally, we show that the category of join-semilattice <i>WS</i>-structures and homomorphisms is dually equivalent to the category of bounded complete <i>J</i>-algebraic lattices and homomorphisms.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Bounded complete J-algebraic lattices

  • Shengwei Han,
  • Yu Xue

摘要

The present article aims to develop a categorical duality for the category of bounded complete J-algebraic lattices. In terms of the lattice of weak ideals, we first construct a left adjoint to the forgetful functor Sup \(\rightarrow \) \({\textbf {Pos}}_\vee \) Pos , where Sup is the category of complete lattices and join-preserving maps and \({\textbf {Pos}}_\vee \) Pos is the category of posets and maps that preserve existing binary joins. Based on which, we propose the concept of W-structures over posets and give a W-structure representation for bounded complete J-algebraic posets, which generalizes the representation of algebraic lattices. Finally, we show that the category of join-semilattice WS-structures and homomorphisms is dually equivalent to the category of bounded complete J-algebraic lattices and homomorphisms.