<p>For a plural signature <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Σ</mi> </math></EquationSource> </InlineEquation> and with regard to the category <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf {NPIAlg}(\Sigma )_{\textsf {s}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">NPIAlg</mi> <msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> <mi mathvariant="sans-serif">s</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, of naturally preordered idempotent <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Σ</mi> </math></EquationSource> </InlineEquation>-algebras and surjective homomorphisms, we define a contravariant functor <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq4.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Lsys}_{\Sigma }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>Lsys</mtext> <mi mathvariant="normal">Σ</mi> </msub> </math></EquationSource> </InlineEquation> from <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf {NPIAlg}(\Sigma )_{\textsf {s}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">NPIAlg</mi> <msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> <mi mathvariant="sans-serif">s</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> to <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf {Cat}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">Cat</mi> </math></EquationSource> </InlineEquation>, the category of categories, that assigns to <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="9" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf {I}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">I</mi> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf {NPIAlg}(\Sigma )_{\textsf {s}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">NPIAlg</mi> <msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> <mi mathvariant="sans-serif">s</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> the category <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="9" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf {I}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">I</mi> </math></EquationSource> </InlineEquation>-<InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf {LAlg}(\Sigma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">LAlg</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="9" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf {I}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">I</mi> </math></EquationSource> </InlineEquation>-semi-inductive Lallement systems of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Σ</mi> </math></EquationSource> </InlineEquation>-algebras, and a covariant functor <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="TEX">\((\textsf {Alg}(\Sigma )\,{\downarrow _{\textsf {s}}}\, \cdot )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="sans-serif">Alg</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <msub> <mrow> <mo stretchy="false">↓</mo> </mrow> <mi mathvariant="sans-serif">s</mi> </msub> <mspace width="0.166667em" /> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> from <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf {NPIAlg}(\Sigma )_{\textsf {s}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">NPIAlg</mi> <msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> <mi mathvariant="sans-serif">s</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> to <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq15.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf {Cat}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">Cat</mi> </math></EquationSource> </InlineEquation>, that assigns to <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq16.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="9" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf {I}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">I</mi> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq17.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf {NPIAlg}(\Sigma )_{\textsf {s}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">NPIAlg</mi> <msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> <mi mathvariant="sans-serif">s</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> the category <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq18.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">\((\textsf {Alg}(\Sigma )\,{\downarrow _{\textsf {s}}}\, {\textbf {I}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="sans-serif">Alg</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <msub> <mrow> <mo stretchy="false">↓</mo> </mrow> <mi mathvariant="sans-serif">s</mi> </msub> <mspace width="0.166667em" /> <mi mathvariant="bold">I</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, of the coverings of <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq19.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="9" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf {I}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">I</mi> </math></EquationSource> </InlineEquation>, i.e., the ordered pairs <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq20.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(({\textbf {A}},f)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">A</mi> <mo>,</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in which <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq21.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">A</mi> </math></EquationSource> </InlineEquation> is a <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq22.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Σ</mi> </math></EquationSource> </InlineEquation>-algebra and <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/10485_2025_9800_IEq23_HTML.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="120" Type="Linedraw" Width="78" /> </InlineMediaObject> </InlineEquation> a surjective homomorphism. Then, by means of the Grothendieck construction, we obtain the categories <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq24.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="113" /> </InlineMediaObject> <EquationSource Format="TEX">\(\int ^{\textsf {NPIAlg}(\Sigma )_{\textsf {s}}}\textrm{Lsys}_{\Sigma }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mo>∫</mo> <mrow> <mi mathvariant="sans-serif">NPIAlg</mi> <msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> <mi mathvariant="sans-serif">s</mi> </msub> </mrow> </msup> <msub> <mtext>Lsys</mtext> <mi mathvariant="normal">Σ</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq25.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="150" /> </InlineMediaObject> <EquationSource Format="TEX">\(\int _{\textsf {NPIAlg}(\Sigma )_{\textsf {s}}}(\textsf {Alg}(\Sigma )\,{\downarrow _{\textsf {s}}}\, \cdot )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∫</mo> <mrow> <mi mathvariant="sans-serif">NPIAlg</mi> <msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> <mi mathvariant="sans-serif">s</mi> </msub> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="sans-serif">Alg</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <msub> <mrow> <mo stretchy="false">↓</mo> </mrow> <mi mathvariant="sans-serif">s</mi> </msub> <mspace width="0.166667em" /> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>; define a functor <InlineEquation ID="IEq26"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9800_Article_IEq26.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {L}_{\Sigma }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">L</mi> <mi mathvariant="normal">Σ</mi> </msub> </math></EquationSource> </InlineEquation> from the first category to the second, which we will refer to as the Lallement functor; and prove that it is a weak right multiadjoint. Finally, we state the relationship between the Płonka functor and the Lallement functor.</p>

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

Lallement Functor is a Weak Right Multiadjoint

  • J. Climent Vidal,
  • E. Cosme Llópez

摘要

For a plural signature \(\Sigma \) Σ and with regard to the category \(\textsf {NPIAlg}(\Sigma )_{\textsf {s}}\) NPIAlg ( Σ ) s , of naturally preordered idempotent \(\Sigma \) Σ -algebras and surjective homomorphisms, we define a contravariant functor \(\textrm{Lsys}_{\Sigma }\) Lsys Σ from \(\textsf {NPIAlg}(\Sigma )_{\textsf {s}}\) NPIAlg ( Σ ) s to \(\textsf {Cat}\) Cat , the category of categories, that assigns to \({\textbf {I}}\) I in \(\textsf {NPIAlg}(\Sigma )_{\textsf {s}}\) NPIAlg ( Σ ) s the category \({\textbf {I}}\) I - \(\textsf {LAlg}(\Sigma )\) LAlg ( Σ ) , of \({\textbf {I}}\) I -semi-inductive Lallement systems of \(\Sigma \) Σ -algebras, and a covariant functor \((\textsf {Alg}(\Sigma )\,{\downarrow _{\textsf {s}}}\, \cdot )\) ( Alg ( Σ ) s · ) from \(\textsf {NPIAlg}(\Sigma )_{\textsf {s}}\) NPIAlg ( Σ ) s to \(\textsf {Cat}\) Cat , that assigns to \({\textbf {I}}\) I in \(\textsf {NPIAlg}(\Sigma )_{\textsf {s}}\) NPIAlg ( Σ ) s the category \((\textsf {Alg}(\Sigma )\,{\downarrow _{\textsf {s}}}\, {\textbf {I}})\) ( Alg ( Σ ) s I ) , of the coverings of \({\textbf {I}}\) I , i.e., the ordered pairs \(({\textbf {A}},f)\) ( A , f ) in which \({\textbf {A}}\) A is a \(\Sigma \) Σ -algebra and a surjective homomorphism. Then, by means of the Grothendieck construction, we obtain the categories \(\int ^{\textsf {NPIAlg}(\Sigma )_{\textsf {s}}}\textrm{Lsys}_{\Sigma }\) NPIAlg ( Σ ) s Lsys Σ and \(\int _{\textsf {NPIAlg}(\Sigma )_{\textsf {s}}}(\textsf {Alg}(\Sigma )\,{\downarrow _{\textsf {s}}}\, \cdot )\) NPIAlg ( Σ ) s ( Alg ( Σ ) s · ) ; define a functor \(\mathfrak {L}_{\Sigma }\) L Σ from the first category to the second, which we will refer to as the Lallement functor; and prove that it is a weak right multiadjoint. Finally, we state the relationship between the Płonka functor and the Lallement functor.