{"entities":{"Q2639163":{"pageid":2649906,"ns":120,"title":"Item:Q2639163","lastrevid":49455334,"modified":"2026-01-07T04:46:25Z","type":"item","id":"Q2639163","labels":{"en":{"language":"en","value":"Galois connections categorically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4183672"}},"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":"Q2639163$E8D6FC2D-DF34-4AA4-A8CA-BFEF8BDC4D52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c128b495d8ece2fd1df73a3a9fba69b136fb32d","datavalue":{"value":{"text":"Galois connections categorically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2639163$5E4B30DB-5918-4D0B-9DE5-35DBA08E6D98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d78f4fd57220784899d15c57ec04fc0fc238efa","datavalue":{"value":"0718.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639163$B2FCFA30-C18F-4ACA-A6C2-38F3E2AD628E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8f83b050117a7555ba3b48bdb97315b86ba9c63","datavalue":{"value":"10.1016/0022-4049(90)90141-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639163$0C0FF398-4B69-44F1-B688-247673601974","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1f39bedae0e7369f9d5cc8765ebf8ffd5c29da1","datavalue":{"value":{"entity-type":"item","numeric-id":234494,"id":"Q234494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$09B0B558-5C62-4ADE-BB75-53CB7EF0BA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d2270682efc663e68ea553417f1a7ff3f2755a0","datavalue":{"value":{"entity-type":"item","numeric-id":169642,"id":"Q169642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$EE154466-F603-4C99-9BD5-C0E240F3940E","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":"Q2639163$FE19DD3D-14A9-4C47-9C3F-2A5DA1A002ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2639163$E9B01D96-93DD-4010-8FFF-34C604AA1B4C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ecc77881f74bd9f52d6a1bcd8609d868109be16a","datavalue":{"value":"This is an expansion of a previous paper [Lect. Notes Comput. Sci. 239, 122-134 (1986; Zbl 0615.06002)]. It is a somewhat discursive discussion of Galois connections in (briefly) partially ordered sets, concrete categories, and categories. In concrete categories the authors consider only Galois connections commuting with the forgetful functors, which are shown to have some nice features; for instance, they are closed under composition. In general categories authors make precise reviewer's loose observation [Am. J. Math. 94, 535-596 (1972; Zbl 0439.18009)] that ``pre- Galois'' connections must be Galois, and more usefully, they give a local version. There are also some quite substantial examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639163$FF177D85-D4B3-4B37-AD88-0C4426192CB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639163$0CAF7531-F40B-4F19-8C94-536779EB240D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639163$5566B5CE-A1F0-47B5-A4FF-4E6D27149E9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8803737e852933635a85f9d7350bfa12045a5ad9","datavalue":{"value":"4183672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639163$D4B076E5-CB14-4FB3-86C5-AD56A666D827","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99d50cc03f9621e87d1300d87a92e1d2d58606e","datavalue":{"value":"Galois connections","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639163$39050DFD-21E3-4A43-AFB6-109A6C4663AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedf903784eeba0fa13d8545c010927ac8abaf15","datavalue":{"value":"partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639163$C5069ACC-4D8A-4AC8-A167-E0416CBF4D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7a675a6765b2cee64f5b59e76e793954c093a9","datavalue":{"value":"concrete categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639163$C6CB0D90-643C-49D1-BCD3-53EB13D3DA1D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ecf4216cad559830178acf03a6652fd82611ab37","datavalue":{"value":{"entity-type":"item","numeric-id":1066374,"id":"Q1066374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$EF9F6621-7A31-471F-A154-8CDBE918BC24","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":"Q2639163$A253E5B7-5980-4AF4-8BB5-0E86DC49044F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef58ab9fdfbf0d18e932de52c89f45a643c0900f","datavalue":{"value":"https://doi.org/10.1016/0022-4049(90)90141-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2639163$F1D60EF1-9F53-4162-99F1-F12991727901","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8143cb2cf8885942a81eb054286f5f4bc3916ccf","datavalue":{"value":"W2007944417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639163$579C9B19-2F5D-450C-A050-0F8DE398311D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$48546AF5-2D81-4F9E-8D8E-6EFBB7732BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a0a63f94fcbfa143666262859424462f675eb7c","datavalue":{"value":{"entity-type":"item","numeric-id":4149589,"id":"Q4149589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$A31C30DF-872B-4604-89DE-B7175FC2884B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5317b5733ff5bf6cfb025815c7d3a902dd209a2","datavalue":{"value":{"entity-type":"item","numeric-id":5834613,"id":"Q5834613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$B01448F9-948F-4EAD-887F-43F854A601E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e23bb3b66958753a8799adf30a274c8d7d2988","datavalue":{"value":{"entity-type":"item","numeric-id":2535017,"id":"Q2535017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$67006927-C415-4E91-A92B-A293B22FFAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaac25eeccd58250a87d5fd5e22310b759650ab","datavalue":{"value":{"entity-type":"item","numeric-id":3877831,"id":"Q3877831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$0E84A048-066B-493E-997C-B14801ECFBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49494f31a936369e9cdd0845457626eb142b64b4","datavalue":{"value":{"entity-type":"item","numeric-id":5615626,"id":"Q5615626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$FEE07D7A-3601-4EC0-A6AE-98656CD47EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0717b6040b5b14b0142853fd2e38649d8272fbb","datavalue":{"value":{"entity-type":"item","numeric-id":5631783,"id":"Q5631783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$21992414-FC93-4E3C-A1AE-83E45ADAF464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e1fd7f2055c7053b66d955cdf20855d5e8adf7","datavalue":{"value":{"entity-type":"item","numeric-id":3880994,"id":"Q3880994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$7E96B463-396A-43AD-9CF9-0B56741A6EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"994dba8772a87447ec7673e8fd95e0880fe3bbf6","datavalue":{"value":{"entity-type":"item","numeric-id":5804490,"id":"Q5804490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$95FC93D7-4F46-45BE-A506-EBC49816EA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8365a9e9829d524792d7d6a7748db900efbe9638","datavalue":{"value":{"entity-type":"item","numeric-id":5511567,"id":"Q5511567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$CCD256C6-D150-42C2-813C-E4215F742251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$8F5A6CD5-8C75-4558-9A7D-4CB154BC9CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e58509c58589e7e9ff957b836ae2fde24359d4","datavalue":{"value":{"entity-type":"item","numeric-id":5834612,"id":"Q5834612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$02289A8B-D223-43E1-95CB-8972306B1729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c128a8c80c5736dce29b30eb3b48fd069679363","datavalue":{"value":{"entity-type":"item","numeric-id":2650135,"id":"Q2650135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$92CFF0BC-5223-4C7A-8E01-C4DED9619DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f1eca85eb6a7346761a88830823a606ac4a7cb","datavalue":{"value":{"entity-type":"item","numeric-id":4200220,"id":"Q4200220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$0DD9D262-5D68-4FB1-B34E-14F455D9D621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f904ce8b591bb2dd5989b733fe1bc152deaf5933","datavalue":{"value":{"entity-type":"item","numeric-id":5569481,"id":"Q5569481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$33ECA0CA-57FC-455B-B4A0-87374704C6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25353df2fa353d17dd8bf82de2e2046ff434248a","datavalue":{"value":{"entity-type":"item","numeric-id":2541786,"id":"Q2541786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$880B0700-6606-4C73-8B18-E9F41E9C519C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d44509bd70e882fb2e7f1f2b1d0736f07eaedd7","datavalue":{"value":{"entity-type":"item","numeric-id":5823358,"id":"Q5823358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$8BDBB131-D06E-43AB-A95D-FF2EBC91B057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"193d203b578fc03de6b1be5d00ffe0c08fd41b03","datavalue":{"value":{"entity-type":"item","numeric-id":2535800,"id":"Q2535800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$F5988C5D-ACAB-4793-AEC2-46837FE42CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfae38135f3d001a82e703c5d5a5f1fbc0c75f0d","datavalue":{"value":{"entity-type":"item","numeric-id":5810590,"id":"Q5810590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$D9255791-479A-4108-8B56-CDC61EBF3DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fb7d67f8b7a2558842bc44769d5fee7803d970b","datavalue":{"value":{"entity-type":"item","numeric-id":4114506,"id":"Q4114506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$55EF5D83-C74D-43D0-96DE-E267C3AA836B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0670948b92c327147e57bc8cde297679406de3","datavalue":{"value":{"entity-type":"item","numeric-id":2562231,"id":"Q2562231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639163$2142E1F6-48DA-4DF2-B9CA-3384A2B915E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19029a90c25492d56523ead656af85bb557761f","datavalue":{"value":{"entity-type":"item","numeric-id":3794367,"id":"Q3794367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb652a49481d51f7c9853c0841fff3b06581a6e5","datavalue":{"value":{"amount":"+0.8775286674499512","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":"Q2639163$20804F63-D144-4FDD-B7AE-20D424F7381D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6f2d26cba67bd718f93369339700e5856bd539e","datavalue":{"value":{"entity-type":"item","numeric-id":4723784,"id":"Q4723784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84bc6e94eeacab0d04fa375c996a3dd8f2d000db","datavalue":{"value":{"amount":"+0.8749804496765137","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":"Q2639163$6BA3FF5D-FD16-4DBF-A309-21BC4A35466A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388d59d29335fc0afd6d97f1077e08ad182bea55","datavalue":{"value":{"entity-type":"item","numeric-id":4662467,"id":"Q4662467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eab93f9b50f8e292a5ae2f8aa9fd90546af0cf09","datavalue":{"value":{"amount":"+0.8201913833618164","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":"Q2639163$EDDD212D-4567-4FB6-9F8A-6448BAFBBA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e966f2bf47ccb88338e559a7a92e8d9844166e64","datavalue":{"value":{"entity-type":"item","numeric-id":3014394,"id":"Q3014394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb12a8ce0a9b277e471ddf302f435c82b42c01c","datavalue":{"value":{"amount":"+0.814424991607666","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":"Q2639163$6107CA5D-7874-4E09-A035-553CF7884201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"686c0742c3266cdcb01e87e2e276678a0b4aefdf","datavalue":{"value":{"entity-type":"item","numeric-id":6171781,"id":"Q6171781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8605f97406b123a8abc290f8a9cbbdcde34c6d71","datavalue":{"value":{"amount":"+0.7977622151374817","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":"Q2639163$860A67A7-837F-4B0A-B869-79F18AA54334","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2639163","badges":[]}}}}}