Nucleus

In order theory, a nucleus is afunction $F$ on a meet-semilattice $\\mathfrak{A}$ such that (for every $p$ in $\\mathfrak{A}$ ):

1.
$p\\leq F(p)$
2.
$F(F(p))=F(p)$
3.
$F(p\\wedge q)=F(p)\\wedge F(q)$

Usually, the term nucleus is used in frames and locales theory (when thesemilattice $\\mathfrak{A}$ is a frame).

1 Some well known results about nuclei

Proposition If $F$ is a nucleus on a frame $\\mathfrak{A}$ , then the poset $\\operatorname{Fix}(F)$ of fixed points of $F$ , with order inherited from $\\mathfrak{A}$ , is also a frame.

单词	Nucleus
释义	Nucleus In order theory, a nucleus is afunction $F$ on a meet-semilattice $\\mathfrak{A}$ such that (for every $p$ in $\\mathfrak{A}$ ): 1. $p\\leq F(p)$ 2. $F(F(p))=F(p)$ 3. $F(p\\wedge q)=F(p)\\wedge F(q)$ Usually, the term nucleus is used in frames and locales theory (when thesemilattice $\\mathfrak{A}$ is a frame). 1 Some well known results about nuclei Proposition If $F$ is a nucleus on a frame $\\mathfrak{A}$ , then the poset $\\operatorname{Fix}(F)$ of fixed points of $F$ , with order inherited from $\\mathfrak{A}$ , is also a frame.
随便看	Moritz Stern MorleysTheorem Morley’s theorem MorphicNumber morphic number MorphismOfSchemesInducesAMapOfPoints morphism of schemes induces a map of points MorphismsBetweenBoundQuivers morphisms between bound quivers MorphismsBetweenQuivers morphisms between quivers MorphismsOfPathAlgebrasInducedFromMorphismsOfQuivers morphisms of path algebras induced from morphisms of quivers MorseComplex Morse complex MorseFunction Morse function MorseHomology Morse homology MorseLemma Morse lemma MoscowMathematicalPapyrus Moscow Mathematical Papyrus MosersTheorem Moser’s theorem