{"entities":{"Q538061":{"pageid":539828,"ns":120,"title":"Item:Q538061","lastrevid":62588103,"modified":"2026-04-11T07:06:42Z","type":"item","id":"Q538061","labels":{"en":{"language":"en","value":"Barr's embedding theorem for enriched categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5899122"}},"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":"Q538061$066D87A1-DFA7-4F96-84C7-288DB20610E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87ff2bbb2618f6b07f2dd20f01ea3f2b705cb82f","datavalue":{"value":{"text":"Barr's embedding theorem for enriched categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q538061$6B844251-7974-4AED-8D33-EAB94948AAD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a52667506d8b8513a8f83223a0a12f79cfdc120","datavalue":{"value":"1250.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538061$0D2526C8-224B-4F0F-B431-CB109BAFEFB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a81eb8f32f8a1d6c5eaf7be3f2d57445bcf32bab","datavalue":{"value":{"entity-type":"item","numeric-id":538060,"id":"Q538060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538061$FA71D156-9078-4C8C-93C9-A98C686A751F","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":"Q538061$D2FE3115-B874-415E-9C13-452708281CC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"987c10c6ecaaa604cff66f7d8ee6e24b6dd4dc1e","datavalue":{"value":{"time":"+2011-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q538061$1049EAA7-3396-4652-BA9D-DAE76178D595","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d42996b6d5ae8addb831d2a2638dc5d17148f52","datavalue":{"value":"https://arxiv.org/abs/0903.1173","type":"string"},"datatype":"url"},"type":"statement","id":"Q538061$B2404590-0FAA-4660-A17A-7F430F94AE66","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2149b71c3b3733224af599fcc6fce31f172bfef5","datavalue":{"value":"The aim of the paper is to generalize the theorem that a small regular category can be embedded into a category of small presheaves [\\textit{M. Barr}, Lect. Notes Math. 236, 1--120 (1971; Zbl 0223.18010)] to the case of category enriched in a monoidal category. The paper proposes detailed proofs with main references to [ibid., J. Pure Appl. Algebra 41, 113--137 (1986; Zbl 0606.18004)] and \\textit{B. Day} and \\textit{R. Street} [J. Pure Appl. Algebra 58, No. 3, 227--233 (1989; Zbl 0677.18009)]. The author specifically recognizes the influence of \\textit{M. Barr} [ibid, 41, 113--137 (1986; Zbl 0606.18004)] and mentions his correspondence with him and the necessity to fix some inaccuracies (the fixes were outlined by M. Barr). For those interested, it should be mentioned that some proofs in the present paper use powerful set-theoretical principles, such as the existence of well ordering on the set of all regular monos.","type":"string"},"datatype":"string"},"type":"statement","id":"Q538061$2975CCD4-32BE-4E9B-8CD5-EFA627FFBC56","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6c848266fa72da40ff1802d3555a7d072216992","datavalue":{"value":{"entity-type":"item","numeric-id":590478,"id":"Q590478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538061$3914C16B-1F8C-44F5-B738-4843BF4DB361","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538061$02CB838A-B0A9-4ABF-8C10-9EE8BD5FE57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3821f97df53b63a53aacaa0e346f91fbb74ca5d7","datavalue":{"value":"18F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538061$5AF243E9-B852-4BD2-857D-FF3062E2E278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538061$98E6FEFC-DE24-4C92-971B-2DD0BAF8FEFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebc1228fd4c00a5dce265430949748db1a884deb","datavalue":{"value":"5899122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538061$40E0DF30-51D6-4FAB-BF92-62306DC470F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d17f9bc1a917cec419ea40d29592b251c27bf58","datavalue":{"value":"embedding theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q538061$AC83FB1F-265B-435B-95DB-9DD4D2244AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e8b7f83dfc84a983c44c7ef2c5fb23ace34b8c","datavalue":{"value":"regular category","type":"string"},"datatype":"string"},"type":"statement","id":"Q538061$6D4DED96-5E48-488C-B355-20A0030949F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c144b7788f371dc65184a91f559961085bf9b056","datavalue":{"value":"category of presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q538061$DEF33060-D439-4AAE-8FAA-CA3226DE9635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1eb703677cf04307e7027c285c8a2aa83472f34","datavalue":{"value":"enriched category","type":"string"},"datatype":"string"},"type":"statement","id":"Q538061$8BE08E3E-827B-478F-AC68-D5648BF2B3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7dc2b6f8f6631d703962f4a6a0906ded1c228aa","datavalue":{"value":"well ordered","type":"string"},"datatype":"string"},"type":"statement","id":"Q538061$EA503641-26CF-4EF2-8E0A-67D472B922FB","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":"Q538061$14229B33-A933-4FBB-9C53-99D0AE156DB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb500dcb5d0dceb4042d54df83676cbfc88aae41","datavalue":{"value":"W2049661301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538061$4CAA22A0-1D0F-4280-9ADF-C782BE10E791","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9249730d1c978938ac5cb3cd71e20c58c43e10","datavalue":{"value":{"entity-type":"item","numeric-id":2547941,"id":"Q2547941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538061$8DD3B6AC-9F75-4764-94FD-4AEC7D547C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e1cd0f981fc637dfa521d731484d6fd8fe089","datavalue":{"value":{"entity-type":"item","numeric-id":1084490,"id":"Q1084490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538061$1A3A6D6E-1DC6-40D9-944A-27CBF50C9CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538061$54DABC94-FAD8-420A-B585-6AA49C285383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0f46403bc34b02affb3a1f06fe20fa8807fbce","datavalue":{"value":{"entity-type":"item","numeric-id":922544,"id":"Q922544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538061$4D42E9F2-D826-457C-A604-317B8E667EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf86a0880718d07240a302dd1bb41c90a3eb08f","datavalue":{"value":{"entity-type":"item","numeric-id":1123255,"id":"Q1123255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538061$705ECD5E-D889-4591-9FA2-858CEB9BEBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538061$670FDFA3-6964-4061-83B4-D3C26ED7D2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02768dee0710788c24f2d16dcd4382b402bca028","datavalue":{"value":{"entity-type":"item","numeric-id":3324132,"id":"Q3324132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538061$721FC9A2-2082-4FE5-84D8-C712FA3F9229","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a962e27b2d5528e07599dfcc4e5e3af0a1523820","datavalue":{"value":"10.1016/J.JPAA.2010.12.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538061$09D7BFE8-235C-4E1A-A4A9-767DC8164EFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1bbd6140fc5adce810d95eddd7c177ff4907acb","datavalue":{"value":{"entity-type":"item","numeric-id":922544,"id":"Q922544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"120da7c95483b35952662697818e6fb9ffd98a47","datavalue":{"value":{"amount":"+0.91768265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q538061$08039933-A975-42E3-B1CB-9F29A2833C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f2b0ca781a46b8567f259b93103aacd9476eae","datavalue":{"value":{"entity-type":"item","numeric-id":3646426,"id":"Q3646426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9098a34bc431e657fb58dab067bb846b506620b","datavalue":{"value":{"amount":"+0.9059258","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q538061$39A5BE23-DD48-4099-AF4D-FBC332EE6AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c274cd86ce45bdaf9c42138879c1a589b7ac1b3","datavalue":{"value":{"entity-type":"item","numeric-id":1682009,"id":"Q1682009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"237ba2acf76049dbb8be0a5d229e9f0678a0c7a7","datavalue":{"value":{"amount":"+0.8966434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q538061$36F6B0FA-6E36-4674-B241-222CE32B970C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f37f6aa958f9e2a44ff68db0d475b1d3b4512b76","datavalue":{"value":{"entity-type":"item","numeric-id":3156507,"id":"Q3156507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45da3e36d15951fb4cc4700acace36516ae008b3","datavalue":{"value":{"amount":"+0.8911158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q538061$9A404C48-2BBB-4A19-8156-B3DA57415919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cf47ecc46f8c47646243ef87c4307ec847ac9bb","datavalue":{"value":{"entity-type":"item","numeric-id":3324131,"id":"Q3324131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45da3e36d15951fb4cc4700acace36516ae008b3","datavalue":{"value":{"amount":"+0.8911158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q538061$D5717EF9-AB2A-4F4A-A3CD-FAAF90763688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bc45df089863e4785f8d4164b088f5084ff3e40","datavalue":{"value":{"entity-type":"item","numeric-id":906863,"id":"Q906863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59eda164eedef46c289e42783291c193cceae2f0","datavalue":{"value":{"amount":"+0.8876552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q538061$8B4323B6-A353-47C5-86F3-2F5047A02173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a324770152289d4b0b9cb28f5fce97b5b1e93405","datavalue":{"value":{"entity-type":"item","numeric-id":1333211,"id":"Q1333211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af71728b63fecb40879c457e806d8947f1509a23","datavalue":{"value":{"amount":"+0.88670766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q538061$2B4A304D-61BC-4836-A8C6-57A7BB4C58E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caff1e7733c0c34e2b90ffb59d8bccdfa42d6397","datavalue":{"value":{"entity-type":"item","numeric-id":2674405,"id":"Q2674405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da7a8f798b4c6650a7a4c46f2b3b0675e92e9ef1","datavalue":{"value":{"amount":"+0.8862566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q538061$BE49304F-CC5B-4019-B9B9-3029B73B0F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e9e9b67b5bae256d149a7a9f33e6bacdfbd4d2","datavalue":{"value":{"entity-type":"item","numeric-id":3170534,"id":"Q3170534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3febe23379df1e77d195f481463d19f31fd0e6ec","datavalue":{"value":{"amount":"+0.8857076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q538061$3193B168-8D6A-4C04-987E-E65065E61213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2147dcc4e5235f3820b36fecaa0e57cca568ea4","datavalue":{"value":{"entity-type":"item","numeric-id":4546148,"id":"Q4546148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eef8fb57a7ee57150f4d78b4814f927d3fbf6ff","datavalue":{"value":{"amount":"+0.8842918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q538061$70C291ED-7068-4D90-9833-C2762BE46301","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Barr's embedding theorem for enriched categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Barr%27s_embedding_theorem_for_enriched_categories"}}}}}