{"entities":{"Q6558472":{"pageid":14169627,"ns":120,"title":"Item:Q6558472","lastrevid":100025660,"modified":"2026-06-05T21:15:11Z","type":"item","id":"Q6558472","labels":{"en":{"language":"en","value":"Lax pullback complements in partial morphism categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7868209"}},"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":"Q6558472$EDA70AEA-CAF8-4FC4-9D3B-BB762CD52013","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e3efd0d6dd2e4fe0d1edebda82e7f6f7be9f3b2","datavalue":{"value":{"text":"Lax pullback complements in partial morphism categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6558472$56588AC7-20B9-4DE7-A1C1-E89A91613EB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13e06c523a01fef28fd85da90366b2a841abfcbe","datavalue":{"value":"1541.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558472$D1EF96A9-9CED-46C2-8E5E-3E33DF1DC931","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d197909c303b9af661d5434c2f29967b5449082","datavalue":{"value":"10.2989/16073606.2023.2256976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558472$567DB9AD-B2B8-4735-8EEA-B0852D6A1EED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d4dad273e0fa44ec7294870aa79802ff73ccb14","datavalue":{"value":{"entity-type":"item","numeric-id":647451,"id":"Q647451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558472$CB2F6D60-1AAE-4F9C-98D8-D949134AA0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7205c0c36b6c65dfc831659cea7c5e79c9cd05ca","datavalue":{"value":{"entity-type":"item","numeric-id":2055978,"id":"Q2055978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558472$D7677096-9AFF-4B81-BB00-8FAFE2AE18AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eafcccd12f806969e43c02f94f482bb42bbc8a03","datavalue":{"value":{"entity-type":"item","numeric-id":2710057,"id":"Q2710057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558472$8267541D-C7F8-462F-A179-DA778813BDFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c4d533d0dc11d1d65d32427fce4a60fa7f32e38","datavalue":{"value":{"time":"+2024-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6558472$52E5280E-7A0F-4926-AE1B-CC5364EF7C80","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2138ae1e56f30666103a647057d8db7e5d9d495","datavalue":{"value":"The concept of pullback complement was introduced in [\\textit{W. Tholen}, Suppl. Rend. Circ. Mat. Palermo (2) 12, 133--138 (1986; Zbl 0616.18001)], while it was established in [\\textit{R. Dyckhoff} and \\textit{W. Tholen}, J. Pure Appl. Algebra 49, 103--116 (1987; Zbl 0659.18003)] that a pullback complement of every morphism along a given morphism \\(s\\)\\ exists iff \\(s\\)\\ is an exponentiable monomorphism. The concept of lax pullback complement was given in [\\textit{S. N. Hosseini} et al., Theory Appl. Categ. 33, 445--475 (2018; Zbl 1408.18006)], being characterized in several ways. This paper aims to characterize the lax pullback complement of a given partial morphism along a total morphism in an \\(\\mathcal{M}\\)-partial morphism category, where \\(\\mathcal{M}\\)\\ is an exponentiable stable system.\\N\\NThe synopsis of the paper goes as follows.\\N\\N\\begin{itemize}\\N\\item[\\S 1] recalls some notions, establishing that certain right adjoints preserve couniversality.\\N\\N\\item[\\S 2] establishes that if a lax pullback complement of \\(\\overrightarrow {u}\\)\\ along \\(s\\)\\ exists in the partial morphism category \\(\\mathrm{Par} _{\\mathcal{M}}\\left( \\mathcal{C}\\right) \\), then a lax pullback complement of \\(u\\)\\ along \\(s\\)\\ exists in \\(\\mathcal{C}\\).\\N\\N\\item[\\S 3] shows, with the base category being adhesive [\\textit{S. Lack} and \\textit{P. Soboci\u0144ski}, Theor. Inform. Appl. 39, No. 3, 511--545 (2005; Zbl 1078.18010)], that a lax pullback complement of \\(\\overrightarrow{u}\\)\\ along an admissible \\(s\\)\\ exists in \\(\\mathrm{Par}_{\\mathcal{M}}\\left( \\mathcal{C}\\right) \\), if a lax pullback complement of \\(u\\)\\ along \\(s\\)\\ exists in \\(\\mathcal{C}\\).\\N\\N\\item[\\S 4] defines an \\(\\mathcal{M}\\)-cohesive category in such a manner that when the base category \\(\\mathcal{M}\\)-cohesive, the lax pullback complement along arbitrary total maps exist.\\N\\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6558472$45686D45-19AA-4910-A17D-7D31724681A0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558472$C40C010B-FAB8-47E2-94B6-2FFC6267B546","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558472$F6907C37-B602-4ABD-91C8-29AE64C31E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"80931d057452ecc032f2d5088e7a41d514d934e3","datavalue":{"value":"18B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558472$F579B75E-E431-4EF2-90F1-EED8A3035A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558472$42953068-9B08-481A-ADCC-9FA8C67D88F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b4c1aaf38d9266ced8589e7d1692629ce57f9df","datavalue":{"value":"18B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558472$368BDC15-589A-4B56-81B6-6AAEB601D200","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5df9e04f844106ccf37324dac592aaf5dcfc70c","datavalue":{"value":"7868209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558472$F69DC9C8-D715-4C9B-8269-23F6DAC09809","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":"Q6558472$E9B5C0E5-2161-4791-8C17-BAF93D4026CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9745bf7f471c506cea58c805563b55ec623d3e","datavalue":{"value":{"entity-type":"item","numeric-id":3300790,"id":"Q3300790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558472$474CDCA5-5BF0-46E7-875D-20F1C5F5192D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558472$DBD3FDC3-F890-4D9F-8CDF-280D8EB0ECBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30b8960949e22d89199b69c7dfa16333a87952b","datavalue":{"value":{"entity-type":"item","numeric-id":1398462,"id":"Q1398462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558472$0F314306-986A-4180-9CA6-918D4E626578","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":"Q6558472$368A36F6-FDB7-4D11-876A-688174103671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8941ea919bf75030d625788fe656496d3051ca60","datavalue":{"value":{"entity-type":"item","numeric-id":1037408,"id":"Q1037408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558472$61824BD8-798D-4E28-9202-763B70B981A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b2bdaed601eb2dd161e9b14822da7f01cfc544","datavalue":{"value":{"entity-type":"item","numeric-id":4563240,"id":"Q4563240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558472$701892BA-D471-403C-9D08-ACEBC6449A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6ace226510f8e2eff52b9075789b73af097201","datavalue":{"value":{"entity-type":"item","numeric-id":5313719,"id":"Q5313719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558472$502D93BD-CB70-4E32-B513-6D030047B30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06131c291ac8e206d7bf2f04bd61802a6e8de6c2","datavalue":{"value":{"entity-type":"item","numeric-id":1159756,"id":"Q1159756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558472$A55F4C79-A0F6-48CA-9CAC-C35AB17C580B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77809023b4fc98c8ea9318e999d088ef7e2c18e1","datavalue":{"value":{"entity-type":"item","numeric-id":2355683,"id":"Q2355683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558472$626AEEC1-B3FE-490A-AD6D-7CD3AB015EED","rank":"normal"}],"P1643":[{"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":"2f037aa7578287c2540e43c860c219c60e4acb49","datavalue":{"value":{"amount":"+0.8094096779823303","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":"Q6558472$A59E89BB-7A80-44DA-A601-342F6351E364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d991a61e55df131ecd050c26c65d71e8a7f979","datavalue":{"value":{"entity-type":"item","numeric-id":4563240,"id":"Q4563240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd492eeec1be67e7c18d565feb9f53995e724229","datavalue":{"value":{"amount":"+0.8011789917945862","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":"Q6558472$70668067-45EC-44C5-BE40-78113EB4115A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee07359e1a767a9e79deaf2d9f3b0029d1b7c13","datavalue":{"value":{"entity-type":"item","numeric-id":2055979,"id":"Q2055979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1983934a119664b3ea719b2258c80c92551c4ca7","datavalue":{"value":{"amount":"+0.7808361053466797","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":"Q6558472$D31625E0-0148-4E71-B2CB-161C214DBB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f304e3f85a46d7d59429d77d783b00fe07d653f","datavalue":{"value":{"entity-type":"item","numeric-id":2355683,"id":"Q2355683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db3500371ccc4bc9d0074c33f7bf9e708e9ae492","datavalue":{"value":{"amount":"+0.7784221172332764","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":"Q6558472$F64F71E8-4019-408B-A9C6-C5320A213FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70f167da401e474278b812468d9acb8b1adee3e","datavalue":{"value":{"entity-type":"item","numeric-id":1037408,"id":"Q1037408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7adc2a0232e49e460ae5622ec7e4d76926e340b3","datavalue":{"value":{"amount":"+0.7733314037322998","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":"Q6558472$30F6E2DD-4FAC-437D-B6F6-349F8DCB62D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lax pullback complements in partial morphism categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lax_pullback_complements_in_partial_morphism_categories"}}}}}