{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T00:47:38Z","timestamp":1774226858237,"version":"3.50.1"},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T00:00:00Z","timestamp":1720828800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T00:00:00Z","timestamp":1720828800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100007474","name":"Centro de Matem\u00e1tica, Universidade de Coimbra","doi-asserted-by":"publisher","award":["UIDB\/00324\/2020"],"award-info":[{"award-number":["UIDB\/00324\/2020"]}],"id":[{"id":"10.13039\/501100007474","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005727","name":"Universidade de Coimbra","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005727","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2025,4]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>We characterize effective descent morphisms of what we call filtered preorders, and apply these results to slightly improve a known result, due to the first author and F. Lucatelli Nunes, on the effective descent morphisms in lax comma categories of preorders. A filtered preorder, over a fixed preorder <jats:italic>X<\/jats:italic>, is defined as a preorder <jats:italic>A<\/jats:italic> equipped with a profunctor <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$X\\rightarrow A$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>X<\/mml:mi>\n                    <mml:mo>\u2192<\/mml:mo>\n                    <mml:mi>A<\/mml:mi>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> and, equivalently, as a set <jats:italic>A<\/jats:italic> equipped with a family <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$(A_x)_{x\\in X}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msub>\n                    <mml:mrow>\n                      <mml:mo>(<\/mml:mo>\n                      <mml:msub>\n                        <mml:mi>A<\/mml:mi>\n                        <mml:mi>x<\/mml:mi>\n                      <\/mml:msub>\n                      <mml:mo>)<\/mml:mo>\n                    <\/mml:mrow>\n                    <mml:mrow>\n                      <mml:mi>x<\/mml:mi>\n                      <mml:mo>\u2208<\/mml:mo>\n                      <mml:mi>X<\/mml:mi>\n                    <\/mml:mrow>\n                  <\/mml:msub>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> of upclosed subsets of <jats:italic>A<\/jats:italic> with <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$x'\\leqslant x\\Rightarrow A_x\\subseteq A_{x'}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:msup>\n                      <mml:mi>x<\/mml:mi>\n                      <mml:mo>\u2032<\/mml:mo>\n                    <\/mml:msup>\n                    <mml:mo>\u2a7d<\/mml:mo>\n                    <mml:mi>x<\/mml:mi>\n                    <mml:mo>\u21d2<\/mml:mo>\n                    <mml:msub>\n                      <mml:mi>A<\/mml:mi>\n                      <mml:mi>x<\/mml:mi>\n                    <\/mml:msub>\n                    <mml:mo>\u2286<\/mml:mo>\n                    <mml:msub>\n                      <mml:mi>A<\/mml:mi>\n                      <mml:msup>\n                        <mml:mi>x<\/mml:mi>\n                        <mml:mo>\u2032<\/mml:mo>\n                      <\/mml:msup>\n                    <\/mml:msub>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>.<\/jats:p>","DOI":"10.1007\/s11083-024-09676-8","type":"journal-article","created":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T03:24:05Z","timestamp":1720841045000},"page":"181-192","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Effective Descent Morphisms of Filtered Preorders"],"prefix":"10.1007","volume":"42","author":[{"given":"Maria Manuel","family":"Clementino","sequence":"first","affiliation":[]},{"given":"George","family":"Janelidze","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,7,13]]},"reference":[{"issue":"sup1","key":"9676_CR1","doi-asserted-by":"publisher","first-page":"145","DOI":"10.2989\/16073606.2023.2247729","volume":"46","author":"MM Clementino","year":"2023","unstructured":"Clementino, M.M., Lucatelli Nunes, F.: Lax comma categories of ordered sets. Quaest. Math. 46(sup1), 145\u2013159 (2023)","journal-title":"Quaest. Math."},{"issue":"1\u20133","key":"9676_CR2","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0022-4049(02)00134-2","volume":"175","author":"G Janelidze","year":"2002","unstructured":"Janelidze, G., Sobral, M.: Finite preorders and topological descent I. J. Pure Appl. Algebra 175(1\u20133), 187\u2013205 (2002)","journal-title":"J. Pure Appl. Algebra"},{"key":"9676_CR3","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF00878100","volume":"2","author":"G Janelidze","year":"1994","unstructured":"Janelidze, G., Tholen, W.: Facets of descent I. Appl. Categ. Struct. 2, 245\u2013281 (1994)","journal-title":"Appl. Categ. Struct."},{"issue":"1\u20133","key":"9676_CR4","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S0022-4049(02)00137-8","volume":"175","author":"S Lack","year":"2002","unstructured":"Lack, S., Street, R.H.: The formal theory of monads II. J. Pure Appl. Algebra 175(1\u20133), 243\u2013265 (2002)","journal-title":"J. Pure Appl. Algebra"},{"issue":"15","key":"9676_CR5","first-page":"390","volume":"33","author":"F Lucatelli Nunes","year":"2018","unstructured":"Lucatelli Nunes, F.: Pseudo-Kan extensions and descent theory. Theory Appl. Categ. 33(15), 390\u2013444 (2018)","journal-title":"Theory Appl. Categ."},{"key":"9676_CR6","doi-asserted-by":"crossref","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, 2nd Edition. Springer 1971 (1998)","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"9676_CR7","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0022-4049(72)90019-9","volume":"2","author":"RH Street","year":"1972","unstructured":"Street, R.H.: The formal theory of monads. J. Pure Appl. Algebra 2, 149\u2013168 (1972)","journal-title":"J. Pure Appl. Algebra"}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-024-09676-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11083-024-09676-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-024-09676-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T23:02:33Z","timestamp":1749596553000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11083-024-09676-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,13]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,4]]}},"alternative-id":["9676"],"URL":"https:\/\/doi.org\/10.1007\/s11083-024-09676-8","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"value":"0167-8094","type":"print"},{"value":"1572-9273","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7,13]]},"assertion":[{"value":"14 February 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 June 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 July 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical Approval"}},{"value":"The authors declare that they have no conflict of interest.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"The authors declare no competing interests.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}