{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T12:10:02Z","timestamp":1745496602274,"version":"3.40.4"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T00:00:00Z","timestamp":1738972800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T00:00:00Z","timestamp":1738972800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003359","name":"Generalitat Valenciana","doi-asserted-by":"publisher","award":["CIAICO\/2023\/007"],"award-info":[{"award-number":["CIAICO\/2023\/007"]}],"id":[{"id":"10.13039\/501100003359","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Universitat de Valencia"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2025,4]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>For a plural signature <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\Sigma $$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>\u03a3<\/mml:mi>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> and with regard to the category <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\textsf {NPIAlg}(\\Sigma )_{\\textsf {s}}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>NPIAlg<\/mml:mi>\n                    <mml:msub>\n                      <mml:mrow>\n                        <mml:mo>(<\/mml:mo>\n                        <mml:mi>\u03a3<\/mml:mi>\n                        <mml:mo>)<\/mml:mo>\n                      <\/mml:mrow>\n                      <mml:mi>s<\/mml:mi>\n                    <\/mml:msub>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>, of naturally preordered idempotent <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\Sigma $$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>\u03a3<\/mml:mi>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>-algebras and surjective homomorphisms, we define a contravariant functor <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\textrm{Lsys}_{\\Sigma }$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msub>\n                    <mml:mtext>Lsys<\/mml:mtext>\n                    <mml:mi>\u03a3<\/mml:mi>\n                  <\/mml:msub>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> from <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\textsf {NPIAlg}(\\Sigma )_{\\textsf {s}}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>NPIAlg<\/mml:mi>\n                    <mml:msub>\n                      <mml:mrow>\n                        <mml:mo>(<\/mml:mo>\n                        <mml:mi>\u03a3<\/mml:mi>\n                        <mml:mo>)<\/mml:mo>\n                      <\/mml:mrow>\n                      <mml:mi>s<\/mml:mi>\n                    <\/mml:msub>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> to <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\textsf {Cat}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>Cat<\/mml:mi>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>, the category of categories, that assigns to <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$${\\textbf {I}}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>I<\/mml:mi>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> in <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\textsf {NPIAlg}(\\Sigma )_{\\textsf {s}}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>NPIAlg<\/mml:mi>\n                    <mml:msub>\n                      <mml:mrow>\n                        <mml:mo>(<\/mml:mo>\n                        <mml:mi>\u03a3<\/mml:mi>\n                        <mml:mo>)<\/mml:mo>\n                      <\/mml:mrow>\n                      <mml:mi>s<\/mml:mi>\n                    <\/mml:msub>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> the category <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$${\\textbf {I}}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>I<\/mml:mi>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>-<jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\textsf {LAlg}(\\Sigma )$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>LAlg<\/mml:mi>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:mi>\u03a3<\/mml:mi>\n                    <mml:mo>)<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>, of <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$${\\textbf {I}}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>I<\/mml:mi>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>-semi-inductive Lallement systems of <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\Sigma $$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>\u03a3<\/mml:mi>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>-algebras, and a covariant functor <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$(\\textsf {Alg}(\\Sigma )\\,{\\downarrow _{\\textsf {s}}}\\, \\cdot )$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:mi>Alg<\/mml:mi>\n                    <mml:mrow>\n                      <mml:mo>(<\/mml:mo>\n                      <mml:mi>\u03a3<\/mml:mi>\n                      <mml:mo>)<\/mml:mo>\n                    <\/mml:mrow>\n                    <mml:mspace\/>\n                    <mml:msub>\n                      <mml:mrow>\n                        <mml:mo>\u2193<\/mml:mo>\n                      <\/mml:mrow>\n                      <mml:mi>s<\/mml:mi>\n                    <\/mml:msub>\n                    <mml:mspace\/>\n                    <mml:mo>\u00b7<\/mml:mo>\n                    <mml:mo>)<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> from <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\textsf {NPIAlg}(\\Sigma )_{\\textsf {s}}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>NPIAlg<\/mml:mi>\n                    <mml:msub>\n                      <mml:mrow>\n                        <mml:mo>(<\/mml:mo>\n                        <mml:mi>\u03a3<\/mml:mi>\n                        <mml:mo>)<\/mml:mo>\n                      <\/mml:mrow>\n                      <mml:mi>s<\/mml:mi>\n                    <\/mml:msub>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> to <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\textsf {Cat}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>Cat<\/mml:mi>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>, that assigns to <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$${\\textbf {I}}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>I<\/mml:mi>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> in <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\textsf {NPIAlg}(\\Sigma )_{\\textsf {s}}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>NPIAlg<\/mml:mi>\n                    <mml:msub>\n                      <mml:mrow>\n                        <mml:mo>(<\/mml:mo>\n                        <mml:mi>\u03a3<\/mml:mi>\n                        <mml:mo>)<\/mml:mo>\n                      <\/mml:mrow>\n                      <mml:mi>s<\/mml:mi>\n                    <\/mml:msub>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> the category <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$(\\textsf {Alg}(\\Sigma )\\,{\\downarrow _{\\textsf {s}}}\\, {\\textbf {I}})$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:mi>Alg<\/mml:mi>\n                    <mml:mrow>\n                      <mml:mo>(<\/mml:mo>\n                      <mml:mi>\u03a3<\/mml:mi>\n                      <mml:mo>)<\/mml:mo>\n                    <\/mml:mrow>\n                    <mml:mspace\/>\n                    <mml:msub>\n                      <mml:mrow>\n                        <mml:mo>\u2193<\/mml:mo>\n                      <\/mml:mrow>\n                      <mml:mi>s<\/mml:mi>\n                    <\/mml:msub>\n                    <mml:mspace\/>\n                    <mml:mi>I<\/mml:mi>\n                    <mml:mo>)<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>, of the coverings of <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$${\\textbf {I}}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>I<\/mml:mi>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>, i.e., the ordered pairs <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$({\\textbf {A}},f)$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:mi>A<\/mml:mi>\n                    <mml:mo>,<\/mml:mo>\n                    <mml:mi>f<\/mml:mi>\n                    <mml:mo>)<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> in which <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$${\\textbf {A}}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>A<\/mml:mi>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> is a <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\Sigma $$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>\u03a3<\/mml:mi>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>-algebra and \"Equation missing\" a surjective homomorphism. Then, by means of the Grothendieck construction, we obtain the categories <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\int ^{\\textsf {NPIAlg}(\\Sigma )_{\\textsf {s}}}\\textrm{Lsys}_{\\Sigma }$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:msup>\n                      <mml:mo>\u222b<\/mml:mo>\n                      <mml:mrow>\n                        <mml:mi>NPIAlg<\/mml:mi>\n                        <mml:msub>\n                          <mml:mrow>\n                            <mml:mo>(<\/mml:mo>\n                            <mml:mi>\u03a3<\/mml:mi>\n                            <mml:mo>)<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:mi>s<\/mml:mi>\n                        <\/mml:msub>\n                      <\/mml:mrow>\n                    <\/mml:msup>\n                    <mml:msub>\n                      <mml:mtext>Lsys<\/mml:mtext>\n                      <mml:mi>\u03a3<\/mml:mi>\n                    <\/mml:msub>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> and <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\int _{\\textsf {NPIAlg}(\\Sigma )_{\\textsf {s}}}(\\textsf {Alg}(\\Sigma )\\,{\\downarrow _{\\textsf {s}}}\\, \\cdot )$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:msub>\n                      <mml:mo>\u222b<\/mml:mo>\n                      <mml:mrow>\n                        <mml:mi>NPIAlg<\/mml:mi>\n                        <mml:msub>\n                          <mml:mrow>\n                            <mml:mo>(<\/mml:mo>\n                            <mml:mi>\u03a3<\/mml:mi>\n                            <mml:mo>)<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:mi>s<\/mml:mi>\n                        <\/mml:msub>\n                      <\/mml:mrow>\n                    <\/mml:msub>\n                    <mml:mrow>\n                      <mml:mo>(<\/mml:mo>\n                      <mml:mi>Alg<\/mml:mi>\n                      <mml:mrow>\n                        <mml:mo>(<\/mml:mo>\n                        <mml:mi>\u03a3<\/mml:mi>\n                        <mml:mo>)<\/mml:mo>\n                      <\/mml:mrow>\n                      <mml:mspace\/>\n                      <mml:msub>\n                        <mml:mrow>\n                          <mml:mo>\u2193<\/mml:mo>\n                        <\/mml:mrow>\n                        <mml:mi>s<\/mml:mi>\n                      <\/mml:msub>\n                      <mml:mspace\/>\n                      <mml:mo>\u00b7<\/mml:mo>\n                      <mml:mo>)<\/mml:mo>\n                    <\/mml:mrow>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>; define a functor <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\mathfrak {L}_{\\Sigma }$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msub>\n                    <mml:mi>L<\/mml:mi>\n                    <mml:mi>\u03a3<\/mml:mi>\n                  <\/mml:msub>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> 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\u0142onka functor and the Lallement functor.\n<\/jats:p>","DOI":"10.1007\/s10485-025-09800-8","type":"journal-article","created":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T12:58:15Z","timestamp":1739019495000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Lallement Functor is a Weak Right Multiadjoint"],"prefix":"10.1007","volume":"33","author":[{"given":"J.","family":"Climent Vidal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Cosme Ll\u00f3pez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,2,8]]},"reference":[{"key":"9800_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-0021-0","volume-title":"Toposes, Triples and Theories","author":"M Barr","year":"1985","unstructured":"Barr, M., Wells, Ch.: Toposes, Triples and Theories. Springer-Verlag, New York (1985)"},{"key":"#cr-split#-9800_CR2.1","unstructured":"Barr, M., Wells, Ch.: Category theory for computing science. In: Prentice-Hall International Series in Computer Science (1995)"},{"key":"#cr-split#-9800_CR2.2","unstructured":"reprinted in: Reprints in Theory and Applications of Categories 22 (2012)"},{"key":"9800_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11478-1","volume-title":"An Invitation to General Algebra and Universal Constructions","author":"GM Bergman","year":"2015","unstructured":"Bergman, G.M.: An Invitation to General Algebra and Universal Constructions, 2nd edn. Springer International Publishing, Switzerland (2015)","edition":"2"},{"key":"9800_CR4","volume-title":"Lattices and Ordered Algebraic Structures","author":"TS Blyth","year":"2005","unstructured":"Blyth, T.S.: Lattices and Ordered Algebraic Structures. Universitext. Springer-Verlag, London Ltd, London (2005)"},{"key":"9800_CR5","volume-title":"Th\u00e9orie des ensembles","author":"N Bourbaki","year":"1970","unstructured":"Bourbaki, N.: Th\u00e9orie des ensembles. Hermann, Paris (1970)"},{"key":"9800_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S Burris","year":"1981","unstructured":"Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer-Verlag, New York-Berlin (1981)"},{"issue":"1","key":"9800_CR7","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/s10012-001-0047-8","volume":"25","author":"M \u0106iri\u0107","year":"2001","unstructured":"\u0106iri\u0107, M., Petkovi\u0107, T., Bogdanovi\u0107, S.: Sums and limits of generalized direct families of algebras. Southeast Asian Bull. Math. 25(1), 47\u201360 (2001)","journal-title":"Southeast Asian Bull. Math."},{"issue":"2","key":"9800_CR8","doi-asserted-by":"publisher","first-page":"1037","DOI":"10.2307\/1968781","volume":"42","author":"AH Clifford","year":"1941","unstructured":"Clifford, A.H.: Semigroups admitting relative inverses. Ann. Math. 42(2), 1037\u20131049 (1941)","journal-title":"Ann. Math."},{"key":"9800_CR9","volume-title":"The Algebraic Theory of Semigroups","author":"AH Clifford","year":"1961","unstructured":"Clifford, A.H., Preston, G.B.: The Algebraic Theory of Semigroups, vol. I. American Mathematical Society, Providence (1961)"},{"key":"9800_CR10","doi-asserted-by":"publisher","unstructured":"Climent Vidal, J., Cosme Ll\u00f3pez, E.: P\u0142onka Adjunction. Logic Journal of the IGPL, jzae064. https:\/\/doi.org\/10.1093\/jigpal\/jzae06. Published: 25 May (2024)","DOI":"10.1093\/jigpal\/jzae06"},{"key":"9800_CR11","doi-asserted-by":"publisher","first-page":"63","DOI":"10.4064\/cm-14-1-63-72","volume":"14","author":"K-H Diener","year":"1966","unstructured":"Diener, K.-H.: Order in absolutely free and related algebras. Colloq. Math. 14, 63\u201372 (1966)","journal-title":"Colloq. Math."},{"key":"9800_CR12","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1002\/malq.19930390152","volume":"39","author":"K-H Diener","year":"1993","unstructured":"Diener, K.-H.: On the predecessor relation in abstract algebras. Math. Logic Quart. 39, 492\u2013514 (1993)","journal-title":"Math. Logic Quart."},{"key":"9800_CR13","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0022-4049(81)90082-7","volume":"22","author":"Y Diers","year":"1981","unstructured":"Diers, Y.: Some spectra relative to functors. J. Pure Appl. Algebra 22, 57\u201374 (1981)","journal-title":"J. Pure Appl. Algebra"},{"key":"9800_CR14","doi-asserted-by":"publisher","first-page":"2141","DOI":"10.1080\/00927878408823101","volume":"12","author":"Y Diers","year":"1984","unstructured":"Diers, Y.: Une construction universelle des spectres, topologies spectrales et faisceaux structuraux. Comm. Algebra 12, 2141\u20132183 (1984)","journal-title":"Comm. Algebra"},{"key":"9800_CR15","unstructured":"Enderton, H.B.: Elements of Set Theory. Academic Press [Harcourt Brace Jovanovich, Publishers], London (1977)"},{"key":"9800_CR16","doi-asserted-by":"crossref","unstructured":"G\u00f6rtz, U., Wedhorn, T.: Algebraic Geometry II: Cohomology of Schemes. Springer Stud. Math-Master. Springer Spektrum, Wiesbaden (2023)","DOI":"10.1007\/978-3-658-43031-3"},{"key":"9800_CR17","doi-asserted-by":"crossref","unstructured":"Gr\u00e4tzer, G.: Universal algebra. With appendices by Gr\u00e4tzer, Bjarni J\u00f3nsson, Walter, T., Quackenbush, R.W., Wenzel, G.H., Gr\u00e4tzer, Lampe, W.A. Revised reprint of the 1979 second edition. Springer, New York (2008)","DOI":"10.1007\/978-0-387-77487-9"},{"key":"9800_CR18","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BFb0058662","volume-title":"Rev\u00eatements \u00e9tales et groupe fondamental (SGA 1)","author":"A Grothendieck","year":"1971","unstructured":"Grothendieck, A.: Cat\u00e9gories fibr\u00e9es et descente (Expos\u00e9 VI). In: Grothendieck, A. (ed.) Rev\u00eatements \u00e9tales et groupe fondamental (SGA 1), pp. 145\u2013194. Springer-Verlag, Berlin (1971)"},{"key":"9800_CR19","volume-title":"Category Theory: An Introduction","author":"H Herrlich","year":"1973","unstructured":"Herrlich, H., Strecker, G.E.: Category Theory: An Introduction. Allyn and Bacon Inc., Boston (1973)"},{"key":"9800_CR20","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/BF02944952","volume":"1","author":"A Horn","year":"1971","unstructured":"Horn, A., Kimura, N.: The category of semilattices. Algebra Univers. 1, 26\u201338 (1971)","journal-title":"Algebra Univers."},{"key":"9800_CR21","unstructured":"Howie, J.M.: Fundamentals of semigroup theory. In: London Mathematical Society Monographs. New Series, vol. 12, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York (1995)"},{"key":"9800_CR22","unstructured":"Jacobs, B.: Categorical logic and type theory. In: Studies in Logic and the Foundations of Mathematics, vol. 141, North-Holland Publishing Co., Amsterdam (1999)"},{"key":"9800_CR23","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198871378.001.0001","volume-title":"2-Dimensional Categories","author":"N Johnson","year":"2021","unstructured":"Johnson, N., Yau, D.: 2-Dimensional Categories. Oxford University Press, Oxford (2021)"},{"key":"9800_CR24","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF02416940","volume":"77","author":"G Lallement","year":"1967","unstructured":"Lallement, G.: Demi-groupes r\u00e9guliers. Ann. Mat. Pura Appl. 77, 47\u2013129 (1967)","journal-title":"Ann. Mat. Pura Appl."},{"key":"9800_CR25","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1515\/crll.1952.190.65","volume":"190","author":"HFJ L\u00f6wig","year":"1952","unstructured":"L\u00f6wig, H.F.J.: On the properties of freely generated algebras. J. Reine Angew. Math. 190, 65\u201374 (1952)","journal-title":"J. Reine Angew. Math."},{"key":"9800_CR26","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"1998","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer-Verlag, New York (1998)","edition":"2"},{"key":"9800_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9860-1","volume-title":"Algebraic Theories","author":"EG Manes","year":"1976","unstructured":"Manes, E.G.: Algebraic Theories. Springer-Verlag, New York (1976)"},{"key":"9800_CR28","first-page":"239","volume":"44","author":"F Pastijn","year":"1982","unstructured":"Pastijn, F., Romanowska, A.B.: Idempotent distributive semirings I. Acta Sci. Math. (Szeged) 44, 239\u2013253 (1982)","journal-title":"Acta Sci. Math. (Szeged)"},{"key":"9800_CR29","doi-asserted-by":"publisher","first-page":"183","DOI":"10.4064\/fm-61-2-183-189","volume":"61","author":"J P\u0142onka","year":"1967","unstructured":"P\u0142onka, J.: On a method of construction of abstract algebras. Fund. Math. 61, 183\u2013189 (1967)","journal-title":"Fund. Math."},{"key":"9800_CR30","doi-asserted-by":"publisher","first-page":"191","DOI":"10.4064\/fm-60-2-191-200","volume":"60","author":"J P\u0142onka","year":"1967","unstructured":"P\u0142onka, J.: On distributive quasi-lattices. Fund. Math. 60, 191\u2013200 (1967)","journal-title":"Fund. Math."},{"key":"9800_CR31","doi-asserted-by":"publisher","first-page":"301","DOI":"10.4064\/fm-62-3-301-308","volume":"62","author":"J P\u0142onka","year":"1968","unstructured":"P\u0142onka, J.: Some remarks on sums of direct systems of algebras. Fund. Math. 62, 301\u2013308 (1968)","journal-title":"Fund. Math."},{"key":"9800_CR32","doi-asserted-by":"publisher","first-page":"237","DOI":"10.4064\/fm-84-3-237-244","volume":"84","author":"J P\u0142onka","year":"1974","unstructured":"P\u0142onka, J.: On connections between the decomposition of an algebra into sums of direct systems of subalgebras. Fund. Math. 84, 237\u2013244 (1974)","journal-title":"Fund. Math."},{"key":"9800_CR33","unstructured":"P\u0142onka, J., Romanowska, A.B.: Semilattice sums. In: Universal Algebra and Quasigroup Theory (Jadwisin, 1989), pp.\u00a0123\u2013158, Res. Exp. Math., 19, Heldermann, Berlin (1992)"},{"key":"9800_CR34","unstructured":"Romanowska, A.B., Smith, J.D.H.: Modal theory: an algebraic approach to order, geometry, and convexity. In: Research and Exposition in Mathematics, vol. 9, Heldermann Verlag, Berlin (1985)"},{"issue":"116","key":"9800_CR35","doi-asserted-by":"publisher","first-page":"24","DOI":"10.21136\/CMJ.1991.102429","volume":"41","author":"AB Romanowska","year":"1991","unstructured":"Romanowska, A.B., Smith, J.D.H.: On the structure of semilattice sums. Czechoslov. Math. J. 41(116), 24\u201343 (1991)","journal-title":"Czechoslov. Math. J."},{"key":"9800_CR36","doi-asserted-by":"publisher","DOI":"10.1142\/4953","volume-title":"Modes","author":"AB Romanowska","year":"2002","unstructured":"Romanowska, A.B., Smith, J.D.H.: Modes. World Scientific Publishing Co. Inc, River Edge (2002)"},{"key":"9800_CR37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-76771-5","volume-title":"Universal Algebra for Computer Scientists","author":"W Wechler","year":"1992","unstructured":"Wechler, W.: Universal Algebra for Computer Scientists. Springer-Verlag, Berlin (1992)"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-025-09800-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-025-09800-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-025-09800-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T11:43:09Z","timestamp":1745494989000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-025-09800-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,8]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,4]]}},"alternative-id":["9800"],"URL":"https:\/\/doi.org\/10.1007\/s10485-025-09800-8","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2025,2,8]]},"assertion":[{"value":"30 July 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 January 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 February 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"9"}}