{"entities":{"Q2173856":{"pageid":2184599,"ns":120,"title":"Item:Q2173856","lastrevid":57757488,"modified":"2026-04-02T09:44:15Z","type":"item","id":"Q2173856","labels":{"en":{"language":"en","value":"Fraction, restriction, and range categories from stable systems of morphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7190578"}},"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":"Q2173856$07E8848A-D643-4DCB-9764-9EFD781AE6CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50314e908a66bf5499a68db5bfd322bd0e7b0911","datavalue":{"value":{"text":"Fraction, restriction, and range categories from stable systems of morphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2173856$B01B9377-2479-4295-85E8-18CEA217C7B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58d4d9abaece491eae862ac9ace2f9a76b56068a","datavalue":{"value":"1454.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2173856$56704D1D-B731-452E-A48B-DB6E6FBCBD3D","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":"Q2173856$A690B830-02AC-4840-8BEE-6C65753D1D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93f711c4d68efee6779b6303ce0c96989c9319bf","datavalue":{"value":{"entity-type":"item","numeric-id":2105671,"id":"Q2105671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2173856$7C5E9F51-D0F1-4CF6-B4C4-AA774AA6E43B","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":"Q2173856$CB7A3522-A7AB-4B75-8170-B74FB4C2F628","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2173856$910C88BD-FFD8-4CD8-98D7-D03894DE3F44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15784d321aac3bade60fa378317d3f88af56df9f","datavalue":{"value":{"time":"+2020-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2173856$AE21321B-36ED-4E9A-9FA1-69787CA67157","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"076dd02ae9c6b7a61b4ba4e2cd9ad3a5511734c7","datavalue":{"value":"https://arxiv.org/abs/1903.00081","type":"string"},"datatype":"url"},"type":"statement","id":"Q2173856$E67BB576-8D4F-4527-9754-99CB31809400","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"41760665e43645bcd5a45ba2c5e3f5a7b9cd4fde","datavalue":{"value":"The formation of the \\textit{category} \\(\\mathcal{C}\\left[ \\mathcal{S}^{-1}\\right]\\) \\textit{of fractions} with respect to a sufficiently well-behaved class \\(\\mathcal{S}\\) of morphisms in \\(\\mathcal{C}\\), which is a fundamental device in homotopy theory, was first given in [\\textit{P. Gabriel} and \\textit{M. Zisman}, Calculus of fractions and homotopy theory. Berlin-Heidelberg-New York: Springer-Verlag (1967; Zbl 0186.56802)] . The construction is characterized by its localizing functor \\[ \\mathcal{C}\\rightarrow\\mathcal{C}\\left[ \\mathcal{S}^{-1}\\right] \\] which is universal with respect to the property of turning morphisms in \\(\\mathcal{S}\\) into isomorphisms. The question of the size of the ``homs'' of \\(\\mathcal{C}\\left[ \\mathcal{S}^{-1}\\right]\\) is highly delicate.  This paper aims, assuming that \\(\\mathcal{S}\\) contain all isomorphisms, is closed under composition, and is stable under pullbacks in \\(\\mathcal{C}\\), to take a stepwise approach to the formation of \\(\\mathcal{C}\\left[ \\mathcal{S}^{-1}\\right]\\), considering separately the two processes of transforming every morphism in \\(\\mathcal{S}\\) into a retraction and into a section before amalgamating them to obtain the category of fractions.  A synopsis of the paper consisting of ten sections goes as follows. \\S 2 is concerned with span categories \\(\\mathsf{Span}(\\mathcal{C},\\mathcal{S})\\) and their quotients. \\S 3 forms the \\(S\\)\\textit{-retractable span category} \\(\\mathsf{Retr}(\\mathcal{C},\\mathcal{S})\\) of \\(\\mathcal{C}\\), while \\S 4 forms the \\(S\\)\\textit{-sectional span category} \\(\\mathsf{Sect}(\\mathcal{C},\\mathcal{S})\\) of \\(\\mathcal{C}\\). \\S 5 shows how to amalgamate the two constructions to obtain the category \\(\\mathcal{C}\\left[ \\mathcal{S}^{-1}\\right]\\), performing and characterizing these constructions strictly at the ordinary category level. The \\(2\\)-categorical structure of \\(\\mathsf{Span}(\\mathcal{C},\\mathcal{S})\\) [\\textit{J. B\u00e9nabou}, Lect. Notes Math. 47, 1--77 (1967; Zbl 1375.18001); \\textit{C. Hermida}, Adv. Math. 151, No. 2, 164--225 (2000; Zbl 0960.18004)] is alluded to in \\S 10, where it is indicated how the constructions of \\(\\mathsf{Retr}(\\mathcal{C},\\mathcal{S})\\) and \\(\\mathsf{Sect}(\\mathcal{C},\\mathcal{S})\\) are naturally motivated.  \\S 6 elaborates on how to obtain the \\(S\\)\\textit{-partial map category} \\(\\mathsf{Par}(\\mathcal{C},\\mathcal{S})\\) as a quotient category of \\(\\mathsf{Sect}(\\mathcal{C},\\mathcal{S})\\), which is a restriction category. Under a fairly mild additional hypothesis on \\(S\\) holding in particular under the weak left cancellation condition (\\(s,s\\cdot t\\in\\mathcal{S}\\Longrightarrow t\\in\\mathcal{S}\\)), \\(\\mathsf{Par}(\\mathcal{C},\\mathcal{S})\\) is a localization of \\(\\mathsf{Sect}(\\mathcal{C},\\mathcal{S})\\) making \\(\\mathsf{Retr}(\\mathcal{C},\\mathcal{S})=\\mathcal{C}\\left[ \\mathcal{S}^{-1}\\right]\\) its quotient category.\\S 8 presents the construction of the \\(\\mathcal{S}\\)\\textit{-partial map range category} \\(\\mathsf{RaPar}(\\mathcal{C},\\mathcal{S})\\), completing the quotient construction in the paper and yielding the commutative diagram \\[ \\begin{matrix} \\mathcal{C} & \\rightarrow & \\mathsf{Span}(\\mathcal{C},\\mathcal{S}) & \\rightarrow & \\mathsf{Sect}(\\mathcal{C},\\mathcal{S})& \\rightarrow & \\mathsf{Par}(\\mathcal{C},\\mathcal{S})\\\\ & & \\downarrow & & \\downarrow & & \\\\ & & \\mathsf{Retr}(\\mathcal{C},\\mathcal{S}) & \\rightarrow & \\mathcal{C}\\left[ \\mathcal{S}^{-1}\\right]  & & \\end{matrix} \\]  Extending a key result in [\\textit{J. R. B. Cockett} and \\textit{S. Lack}, Theor. Comput. Sci. 270, No. 1--2, 223--259 (2002; Zbl 0988.18003)] , \\S 7 provides a setting which presents \\[ (\\mathcal{C},\\mathcal{S})\\longmapsto\\mathsf{Par}(\\mathcal{C},\\mathcal{S}) \\] as the left adjoint to the formation of the category \\(\\mathsf{Total}\\left( \\mathcal{X}\\right)\\) for every split restriction category \\(\\mathcal{X}\\). Extending one of the principal results in [\\textit{J. R. B. Cockett} et al., Theory Appl. Categ. 26, 412--452 (2012; Zbl 1252.18003)] , \\S 9 provides a setting which presents \\[ (\\mathcal{C},\\mathcal{S})\\longmapsto\\mathsf{RaPar}(\\mathcal{C},\\mathcal{S}) \\] as the left adjoint to the formation of the category \\(\\mathsf{Total}\\left( \\mathcal{X}\\right)\\) for every split range category \\(\\mathcal{X}\\).  To conclude this review, let me remark that:  \\begin{itemize} \\item The authors give their earlier version of the paper [\\url{arXiv:1903.00081}] as the eighth item in the References, note that the initial title in v1 (identical to the paper) has changed in v2 \\[ \\text{Abandoning monomorphisms:partial maps, fractions, factorizations} \\Longrightarrow\\text{Fraction, restriction, and range categories from non-monic classes of morphisms} \\]  \\item In \\S 1, \\[ \\text{See Sections 3 and 2, respectively}\\Longrightarrow\\text{See Sections 4 and 3, respectively} \\] \\[ \\text{In Section 4}\\Longrightarrow\\text{ In Section 5} \\] \\[ \\text{That is why, in Section 5}\\Longrightarrow\\text{That is why, in Section 6} \\] \\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2173856$CDBEF2E2-08B6-46D0-A800-965AC2B543F4","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":"Q2173856$EFC483DB-B3D5-4EE8-B797-2CFF5C98FF90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd14109b728357c96051ccc125db5e1d8c36ea77","datavalue":{"value":"18A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2173856$460E8696-9D3B-426C-ADCC-07F21B99F656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2173856$5982B95A-A8DC-47B3-9E05-D931EA8F1013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac53b3d8ea831a008f6edc0617972e2b6304397","datavalue":{"value":"18A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2173856$7C156C28-4411-4010-B54F-033325AADDCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e00ab558c647d6012a06c8a41e60fb0ea45ffa79","datavalue":{"value":"7190578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2173856$7B3902AC-11C4-42EB-8021-C95CD5B34841","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d017f9cfc0243fc0e6dad995423b3426440652c4","datavalue":{"value":"span category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2173856$F06856BC-0B18-49BD-9E68-A12AC2619E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07906109356e260ef20f8b70cd6bce1447426a59","datavalue":{"value":"partial map category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2173856$45D82193-C3C9-4B89-8B1B-1341D30B663E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a19b752a754cf4437e2a58a37e3e7b8272df2b3","datavalue":{"value":"category of fractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2173856$818D2865-BADE-444E-AA7F-72582A6E563B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b350bf4a50c493f2e086a32ddc28c53a3ab5b0ee","datavalue":{"value":"restriction category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2173856$674CF738-9CEC-4545-845D-69499AEC7525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548b20d764db14cd24b18e580f97fdedde7d7662","datavalue":{"value":"range category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2173856$69486EB1-1CEC-444A-A18B-CEE3F278F9C4","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":"Q2173856$63EEA793-C00E-442C-B088-C5D00E071D66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a81e8f616c0ceacec8510cd3509b41ea527692b","datavalue":{"value":"W3012239856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2173856$1D40EC1F-AC48-412B-9EAA-CB5CCC651374","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02440399404883cec035c4ba4333b0b2f70b96a3","datavalue":{"value":{"entity-type":"item","numeric-id":4596052,"id":"Q4596052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2173856$F7B09163-1E77-4A5A-B8F4-F00CB076783D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2173856$8B21C8EC-C71D-43E5-B3DC-7E18670B1F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef1d64fdcec003453940e750378e5781c3accb6","datavalue":{"value":{"entity-type":"item","numeric-id":2919772,"id":"Q2919772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2173856$9CAA7474-1319-4A64-9DB1-8FC36AFF5EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd04d969c418aa9cf82982951db0dfad593b17ce","datavalue":{"value":{"entity-type":"item","numeric-id":5958307,"id":"Q5958307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2173856$CDA5EFBA-230D-444E-88F0-A57BB8CE987C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03afdf275ccfd5f11cb597005a9be741183e0c58","datavalue":{"value":{"entity-type":"item","numeric-id":5580926,"id":"Q5580926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2173856$F7FD7390-CE62-4983-A353-C759A3801314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb94e327ce05a7e48547aafac5c5b072633ed2d","datavalue":{"value":{"entity-type":"item","numeric-id":1570232,"id":"Q1570232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2173856$E3533354-25EA-42EC-911E-258E83A7F765","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":"Q2173856$C964B4C4-3DDF-4468-8B6C-03963A5CABAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c167d86da991deb3b84bf3df5e92f5d0e8b01113","datavalue":{"value":{"entity-type":"item","numeric-id":5666704,"id":"Q5666704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2173856$5EE54EA6-70F6-4FC2-9048-62066D391E76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6176f0431bfa3b1ba438ca448796c3d64b0b62a","datavalue":{"value":"10.1016/J.JPAA.2020.106361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2173856$629EEEEF-B984-43A2-93C3-470E178A5EDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d46c1ad727459be0d68cab7c8c58878f80af6a8","datavalue":{"value":{"entity-type":"item","numeric-id":2534179,"id":"Q2534179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10195c9d1aef8f066868378bf8ffc2c4e04f3e7b","datavalue":{"value":{"amount":"+0.7916215658187866","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":"Q2173856$287DA076-384F-4BC4-AEC5-168148B5E44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8eb6180f53ee72dacd53408b37815c44626eb0c","datavalue":{"value":{"entity-type":"item","numeric-id":2487462,"id":"Q2487462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897d2774aec7e3ddf44572b82f616cda44f971b3","datavalue":{"value":{"amount":"+0.7711074352264404","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":"Q2173856$06D02D80-054F-4F54-9EFF-09A23F7FD984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb53c8d741e3ac23a51e87e9d33639d0abfffaed","datavalue":{"value":{"entity-type":"item","numeric-id":5958307,"id":"Q5958307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9528eff71e0d48ba596f276521fb26da832f35d7","datavalue":{"value":{"amount":"+0.7707808017730713","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":"Q2173856$4B3D6258-B699-48BE-9422-35D7AF24FB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ed7549d09e636d362f520c43fe075849c28ec0","datavalue":{"value":{"entity-type":"item","numeric-id":534532,"id":"Q534532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9528eff71e0d48ba596f276521fb26da832f35d7","datavalue":{"value":{"amount":"+0.7707808017730713","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":"Q2173856$220B4408-698B-4CCA-851E-3FABD28F1DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6521acf99c664ca7aebb34eaa650413a199f9d","datavalue":{"value":{"entity-type":"item","numeric-id":1923795,"id":"Q1923795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3026cb15cfd3a441e0e08c99378730699aacf9a6","datavalue":{"value":{"amount":"+0.7645581364631653","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":"Q2173856$A7AA091E-DC8F-4493-A771-B8FC73667E8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2173856","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2173856"}}}}}