{"entities":{"Q2487467":{"pageid":2498210,"ns":120,"title":"Item:Q2487467","lastrevid":48525838,"modified":"2026-01-05T02:57:14Z","type":"item","id":"Q2487467","labels":{"en":{"language":"en","value":"Some categorical algebraic properties: counter-examples for functor categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2193579"}},"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":"Q2487467$1446677E-BE64-46FC-BA2F-FF6E3F368940","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"288c6f0f75b26cec8a503a93a8976182004cfd3d","datavalue":{"value":{"text":"Some categorical algebraic properties: counter-examples for functor categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2487467$4E184D1D-50C9-4F77-B310-3120DA62E91C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d78ea5b915536d55bd79c7d7166be928ce046dc","datavalue":{"value":"1075.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487467$F0FE3D2E-B5E0-45AB-9B50-42A114999342","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b32459be76cd8894feeb0d5e40515c64d78d223b","datavalue":{"value":{"entity-type":"item","numeric-id":278227,"id":"Q278227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487467$0BD75638-4E3E-4C4C-9DFB-09B626CDB3E9","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":"Q2487467$B5C758FC-987E-4933-9BF5-3981F4D3C592","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90b8e08a65c3f6b60302137bec886dcfcd8ff418","datavalue":{"value":{"time":"+2005-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2487467$27CEA0E5-DCBE-4051-A345-CBF6E6019F0A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f779a9c6ee974af30966c61d3ac45123858ac5b5","datavalue":{"value":"Given a factorization system \\((E,M)\\) on a category \\(\\mathcal{C}\\) where \\(M\\) is a class of monos, \\(\\mathcal{C}\\) has the amalgamation (resp. transferability, resp. congruence extension) property if every span \\((f,m)\\) with \\(f,m\\in M\\) (resp. \\(m\\in M\\), resp. \\(m\\in M\\) and \\(f\\in E\\)) can be completed to a commutative square \\(m'f = f'm\\), with \\(f',m'\\in M\\) (resp. \\(m'\\in M\\), resp. \\(m'\\in M\\) and \\(f'\\in E\\)). The author has shown previously that the functor categories \\(\\mathcal{C}^\\mathcal{X}\\) inherit these properties from \\(\\mathcal{C}\\) if the latter has all products and pushouts. In order to produce counter-examples, assume now that \\(\\mathcal{C}\\) is a (\\(M\\)-) subobject-closed, full subcategory of a category \\(\\mathcal{D}\\) having all products and pushouts. The author shows the following: 1) If all \\(M\\)-morphisms are monos in \\(\\mathcal{D}\\), and there exists a span as above with the pushout object not in \\(\\mathcal{C}\\), but embedded into a product of \\(\\mathcal{C}\\)-objects, then there exists a functor category \\(\\mathcal{C}^\\mathcal{X}\\) which does not satisfy the corresponding property. 2) If the objects of \\(\\mathcal{C}\\) form a cogenerating class of \\(\\mathcal{D}\\), then \\(\\mathcal{C}\\) satisfies one of the above properties and has pushouts of the appropriate spans, if and only if \\(\\mathcal{C}^\\mathcal{X}\\) satisfies the same property for all small \\(\\mathcal{X}\\). As examples, the categories of finite groups, of integral domains and of fields each satisfy the amalgamation property, but some of their functor categories do not. Similarly for the category of metric spaces with respect to the congruence extension property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487467$677550B5-06F6-4A00-BCCE-9FB4CCB627E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487467$995DE5E2-B3CE-4B07-87F4-66DAD8A2A01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac53b3d8ea831a008f6edc0617972e2b6304397","datavalue":{"value":"18A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487467$B4B9B9C6-F75B-4ECD-9418-8282F36C6846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487467$D03D7349-A40F-4B5B-B2E0-1C8EF990E68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487467$2CD34D7A-2775-4281-8345-7A6682CF3585","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1eb998b5fda083a5983231830e6de572eb5109b7","datavalue":{"value":"2193579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487467$46123E8D-2E35-4861-8990-CACAC9C69353","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487467$428C8FC9-8669-4FD5-88A1-324BF1846CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6336ec44a32f5e7b58d364885158afa8244d0bc9","datavalue":{"value":"transferability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487467$CAA25ED8-63F8-434C-B007-0306DFF3D76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f205ffb5add5a215b3d6d514b741605920a118b4","datavalue":{"value":"congruence extension properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487467$680B1B17-2E0F-42FE-A97E-36DF169C006C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c951d8c17443848a0ae5deda36c0b3010db19f6","datavalue":{"value":"functor category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487467$967F4AF5-9BF0-49A8-A643-CC90C322F996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c13fc579647ae4ea9565cc92a2194c3c2740b90a","datavalue":{"value":"cogenerating set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487467$3268D8C3-8B62-4711-9B41-1FF819D16FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18c42de41f3c94716175d79e3c102bb7e3ce2cb4","datavalue":{"value":"finite group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487467$F00F713C-0884-4C9C-B207-3BBB358AF4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86490afe1a240b7b6317d8185559b6e431b043f7","datavalue":{"value":"integral domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487467$E691417D-9493-4D11-B898-9C9E9A291928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41ddba0d0ce186037de86143e700b38426a70c8c","datavalue":{"value":"field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487467$AC9E7D54-11F9-4DE4-8BDB-75FA01752A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20f87686e57cd5798939eefa169b80e212af9083","datavalue":{"value":"metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487467$A746891E-739A-4829-8D92-0E304B3E0406","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db3a1994945c9059c27b37df87c537414d98edd9","datavalue":{"value":{"entity-type":"item","numeric-id":1374079,"id":"Q1374079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487467$4289C472-E5A5-44D4-B8AB-5FFCBB1C2242","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":"Q2487467$C619ED26-C2D3-4F96-BB0F-B437908B85A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d5c230ec3d7aa95e5f1311e0c21129ee950ad47","datavalue":{"value":"https://doi.org/10.1007/s10485-005-4700-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2487467$EC4B7747-4B8F-4B29-B4D0-CB8C740A5D69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb647e625e7147369134d9d86ea90747e974aa73","datavalue":{"value":"W1966437688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487467$608EDD92-0BD7-472E-A6A0-6271C65C446B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dc41e76cb40c7970ee98f49175730914861635b","datavalue":{"value":{"entity-type":"item","numeric-id":4156524,"id":"Q4156524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487467$2607FA3E-AD6B-4F8A-B7B6-E6DED605E908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967ee43eeedc0f68009be4f4a6ac9a160bf68fc4","datavalue":{"value":{"entity-type":"item","numeric-id":2525528,"id":"Q2525528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487467$4A7E97AF-A624-4BDC-B897-8A3F4782CABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b2be20f2c34f62ae60fd4d974bca3aaf54928c","datavalue":{"value":{"entity-type":"item","numeric-id":5541360,"id":"Q5541360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487467$C7BE127C-7BD7-44D2-AB00-42230C8D561E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3221cfecf27431bfd177fbf7a60f6a4c84e579c","datavalue":{"value":{"entity-type":"item","numeric-id":3342632,"id":"Q3342632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487467$86DA11D0-1A90-4895-9126-B5590BF9D48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b74573be1779e89beba88a56570d816955eb6e0","datavalue":{"value":{"entity-type":"item","numeric-id":5728500,"id":"Q5728500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487467$65E3CD58-B7CC-4012-AD30-F1CE12463FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a6104f00d96fa808ce0a739fbbe7c6e8d46826","datavalue":{"value":{"entity-type":"item","numeric-id":5829817,"id":"Q5829817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487467$A1080C2E-7CFC-49D3-A881-DEAF793A5864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0706392e5d055885488f2dd46e08677d825cf5b2","datavalue":{"value":{"entity-type":"item","numeric-id":4335378,"id":"Q4335378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487467$648180FB-8829-4942-A5E5-5BA17493F16F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9086471cf94c439c207f1f01566315a6d407728","datavalue":{"value":"10.1007/S10485-005-4700-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487467$00BF1C40-7CB1-4281-A0A8-4F238CAAEE91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ba7d996df13d12c6a4d549dac09ccb24dff849","datavalue":{"value":{"entity-type":"item","numeric-id":4335378,"id":"Q4335378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ab8b20edcd86ced462ba38b161f1142ccacd31","datavalue":{"value":{"amount":"+0.9153878688812256","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":"Q2487467$C79ECF3A-6162-4237-AD9E-2A7850361ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c79856176ec8eb54db117e33ee50801165ceb8","datavalue":{"value":{"entity-type":"item","numeric-id":2813652,"id":"Q2813652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26d8fe47b80288a628214152df7374a781a3701","datavalue":{"value":{"amount":"+0.9153878092765808","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":"Q2487467$227EB8B0-6E84-4709-A17E-2F2F0C22F492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0103b8babc94f4cd209c26f668b1f5e26d92a166","datavalue":{"value":{"entity-type":"item","numeric-id":3981897,"id":"Q3981897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf363267efecb2083ea152bacb1904c1335f91c","datavalue":{"value":{"amount":"+0.9080259799957277","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":"Q2487467$C59F77B1-2C65-4A3A-9F6D-3B6C912F27D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95598febc17448db1238cea5cf5ed01914df81a3","datavalue":{"value":{"entity-type":"item","numeric-id":5009709,"id":"Q5009709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1b72df01c89f1034a424a63ee28045c539485cf","datavalue":{"value":{"amount":"+0.905135214328766","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":"Q2487467$E7E5ABF0-E073-4B2C-BE59-E161F460C93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60990153f9f935b7e26cbda260b1bfbb7314be45","datavalue":{"value":{"entity-type":"item","numeric-id":3627015,"id":"Q3627015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85dc3a27b3eb98f3a3463c1fa23e7478a4d8355d","datavalue":{"value":{"amount":"+0.7616416811943054","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":"Q2487467$5D97BE55-599F-441C-BB0F-B9007BE45B22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2487467","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2487467"}}}}}