{"entities":{"Q690380":{"pageid":692229,"ns":120,"title":"Item:Q690380","lastrevid":47207752,"modified":"2026-01-01T00:23:44Z","type":"item","id":"Q690380","labels":{"en":{"language":"en","value":"Lexicographic sums and fibre-faithful maps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 458989"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690380$68155372-A4F1-400B-A490-84D32FA4D05A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"379b61ccdbffd1007538899cd0e752c53d2640d2","datavalue":{"value":{"text":"Lexicographic sums and fibre-faithful maps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q690380$B4A05482-B17B-4F17-A4CD-79A5272EB350","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79d3623d91551027ad3325196fea479389a1aeb3","datavalue":{"value":"0796.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690380$EC58B1B9-7A80-4293-AF34-756B10B83019","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87e8eff9b3c8c7223468a6b3ab7a735337522473","datavalue":{"value":"10.1007/BF00872986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690380$CBEBEA9B-8071-4CF3-B36B-90C329BDBBF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f26e0ea340ab16a8b88d61801890c8c53ae1856","datavalue":{"value":{"entity-type":"item","numeric-id":579395,"id":"Q579395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690380$7D10AC80-0DEC-402A-9C05-26AC9496E69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f2b3cc5bc1f0c05569bf2fcb970d59f0a92748","datavalue":{"value":{"entity-type":"item","numeric-id":690378,"id":"Q690378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690380$38C41AE0-9908-4ABF-A042-BFC4FE5DCFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"399d16b20c2e0544638ddc885ece23e0107e4491","datavalue":{"value":{"entity-type":"item","numeric-id":173922,"id":"Q173922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690380$862C07A9-BBA9-4E19-B6E9-093F8CBE6EC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690380$51E71C93-2518-43FB-B644-9B327A5924C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05b83f9110f956258ea2482362721ccb291b6e19","datavalue":{"value":{"time":"+1994-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q690380$46731EDA-EE14-41C4-92C4-7095EA111F54","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"92638318713744095523e2287da3e262df953e2d","datavalue":{"value":"The notion of lexicographic sums is defined and investigated in categories \\({\\mathcal X}\\) with fibres, a terminal object 1, small hom-sets \\(| Y|\\colon = X(1,Y)\\), \\(Y\\) an object of \\({\\mathcal X}\\). Starting with lexicographic or \\(l\\)-sums in the category of posets and \\(T_ 1\\)-spaces in section 1 and taking these as paradigmatic cases, an \\(l\\)-sum of objects \\(B_ y\\in X\\), \\(y\\in | Y|\\), over \\(Y\\) is defined (section 2) as an \\(L\\in{\\mathcal X}\\) together with \\(m\\colon L\\to Y\\), \\(j_ y : B_ y\\to L\\), \\(y\\in | Y|\\), such that   (1) \\((j_ y\\mid y\\in | Y|)\\) is the family of fibres of \\(m\\),   (2) for every morphism \\(f\\colon X\\to Y\\) and its family of fibres \\((i_ y\\mid y\\in | Y|)\\) and any family of morphisms \\(h_ y\\colon f^{-1}(y)\\to B_ y\\), \\(y\\in | Y|\\), there is a unique \\(h\\colon X\\to L\\) with \\(m\\circ h=f\\) and \\(h\\circ i_ y= j_ y\\circ h_ y\\), \\(y\\in | Y|\\).   Several general results on \\(l\\)-sums are proved.   In section 3 connections between \\(l\\)-sums and exponentiable points are investigated and in proposition 3.3 a necessary and sufficient condition for the existence of \\(l\\)-sums is given in terms of exponentiable points, multiple pullbacks and a disjointness condition. This leads in section 4 to one of the main theorems (4.2) on the existence of \\(l\\)-sums. In section 5 the connections between \\(l\\)-sums and coproducts are investigated, whereas in section 6 an interesting associative law for \\(l\\)-sums is proved.   \\(l\\)-sums (as above) give rise to a factorization \\(f=m\\circ e\\) for any morphism \\(f\\colon X\\to Y\\), with \\(m\\colon L\\to Y\\) the projection of the \\(l\\)-sum. This factorization is called the fibre-factorization of \\(f\\) and gives rise to the definition of fibre-faithful and fibre-trivial maps, which are investigated in sections 7 to 9. In section 10 resp. 11 the paradigmatic cases of ordered sets and \\(T_ 1\\)-spaces are considered; section 12 contains several interesting examples. It seems to the reviewer that such a systematic treatment of lexicographic sums has long been due.","type":"string"},"datatype":"string"},"type":"statement","id":"Q690380$18163298-0658-42C5-B5D7-8B54237F32BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690380$35E13C19-5AC9-467A-BB1C-21EAB52FDA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac53b3d8ea831a008f6edc0617972e2b6304397","datavalue":{"value":"18A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690380$B9526754-7F12-487B-A8E3-ED806D69ADAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690380$39F30BA0-9A3E-4F47-933B-ECC2B047FA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690380$E1536A15-67F9-4570-972E-EFA9B2C8A33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ef2a941506d904ce5f3b93df54614c6c3977b80","datavalue":{"value":"06A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690380$6AD50BC4-5EAD-4AFA-B15C-2FE52A218B31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea91765ec27e88f7c73c8dc05e588914b5679b29","datavalue":{"value":"458989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690380$05ABC6AD-CBE6-4F0C-8446-3F16EB46E654","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12a9dfec744da30a44c8b481b2a461a569d99c63","datavalue":{"value":"disjoint points","type":"string"},"datatype":"string"},"type":"statement","id":"Q690380$D2A88C1A-B9D4-41A6-871C-E87F56BD92DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a558ded0b761b94fe571bb162d7ccd108b51758f","datavalue":{"value":"fibre-faithful map","type":"string"},"datatype":"string"},"type":"statement","id":"Q690380$CC1C082B-C6AB-48DA-A34C-1206CD0BF2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96e17e1e0ec8a524308eee4c7416615ae369b104","datavalue":{"value":"lexicographic sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q690380$BA102C5A-6CA9-4A47-ADDB-30E1A2E6A054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe56044abcb0849d7ac2f919f57aca43c886ac8","datavalue":{"value":"exponentiable points","type":"string"},"datatype":"string"},"type":"statement","id":"Q690380$A5572C81-8E2A-4B4C-A079-3CCB8CBAE67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905943cb1272e92a1683c01a5de9582ec739c715","datavalue":{"value":"fibre-trivial maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q690380$4D93B05F-A492-4196-ADFB-9AFBB21E2CF9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7882de03b51feaa8bf75d7ea260767670eb20929","datavalue":{"value":{"entity-type":"item","numeric-id":759089,"id":"Q759089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690380$93796A5E-75A9-4D99-BD93-DA82FA51F768","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690380$41FDB876-0822-4BA7-8D4B-B371A45C07DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690380$F4886BD0-38A0-4046-BA2A-D6E09A001624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac664435f5704177c5ec72c3b2a1862089f74869","datavalue":{"value":{"entity-type":"item","numeric-id":1112156,"id":"Q1112156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690380$B8673240-524A-499A-A314-ED9BFD228453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690380$C152B214-595B-4EB1-9DF1-BA8ABFC37F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5823ba7ed65b2023ef4dc205c86be60dbe4d0cf4","datavalue":{"value":{"entity-type":"item","numeric-id":3998741,"id":"Q3998741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690380$F2BC2659-23FA-4987-BB68-9B6FEB0A28D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86900c3ac321474331d87311ad1b0f2af5fe7cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1420640,"id":"Q1420640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b15ebea747e8a8f161d7840065f6a3398444d75","datavalue":{"value":{"amount":"+0.7031027674674988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690380$4467C756-7F0D-4CF1-AD3A-D9A85043967E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a21507f73e47d89502e2cb614c3c0acfaef698a","datavalue":{"value":{"entity-type":"item","numeric-id":1047183,"id":"Q1047183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b819f155ef1264f27bd5e2b557df15f13ffa79","datavalue":{"value":{"amount":"+0.7021348476409912","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690380$C3C30DA7-3162-44DD-80BB-68E711C911EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8fec5d669ce46ae884355978a78c6788da4cb49","datavalue":{"value":{"entity-type":"item","numeric-id":1862107,"id":"Q1862107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b03b3a342a8b4d7c1f43d13ea37057f65c8843","datavalue":{"value":{"amount":"+0.7013213038444519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690380$E6018357-C1FA-4A3D-87A5-E7EBB8452A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd65ad1cb2439ad12150d57cc8a1b2affcaa254","datavalue":{"value":{"entity-type":"item","numeric-id":1112156,"id":"Q1112156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b03b3a342a8b4d7c1f43d13ea37057f65c8843","datavalue":{"value":{"amount":"+0.7013213038444519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690380$1BB901B6-074A-41DF-8C97-37210C3751A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e85f5e58c45012292da7623792f198747ec9b69","datavalue":{"value":{"entity-type":"item","numeric-id":4007192,"id":"Q4007192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb665c9d3d16ac7858b57367978bf7be6793241","datavalue":{"value":{"amount":"+0.7000517249107361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690380$4943C048-49F4-4910-8C8B-20993D1D5E51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:690380","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:690380"}}}}}