{"entities":{"Q762152":{"pageid":764001,"ns":120,"title":"Item:Q762152","lastrevid":64184484,"modified":"2026-04-11T18:11:37Z","type":"item","id":"Q762152","labels":{"en":{"language":"en","value":"Topoi and categories of fuzzy sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3887687"}},"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":"Q762152$E1F0DE3A-D6A2-4741-B97C-042B52962B6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eca54a9431d7dfe11a2a66562e029e755cd3dc55","datavalue":{"value":{"text":"Topoi and categories of fuzzy sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q762152$179B4B79-79AE-4F52-A2B4-0284BA15AE80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3380004ce564463239eacb852b82da839681253b","datavalue":{"value":"0557.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762152$53838E03-A4D1-48B6-95C8-7484036C7D28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19e91c744e59aa03e666224441d7461ef6dbd4fd","datavalue":{"value":"10.1016/0165-0114(84)90036-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762152$A9B75190-128C-4B18-8A9D-B118B951C831","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e663350e6d27f5c63ea5e4ae57c977f5e167deb","datavalue":{"value":{"entity-type":"item","numeric-id":419042,"id":"Q419042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$6330E51C-EA35-4CA0-8BA2-4BB91CDA1D76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$E1E1266C-8FFE-456A-B1BB-00FF5DF7A707","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q762152$FA4E0BDA-1457-4AD8-BF2C-C5D181B6C8B8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"434499147eebdf55d8e775b715cc70b9ea1eb1d3","datavalue":{"value":"Let H be a complete lattice where finite meets distribute over arbitrary joins (nowadays this is called a locale) and hence a Heyting algebra. The paper looks at the following categories: Goguen's Set(H), the reviewer's Fuz(H) and the topos Sh(H) of sheaves on H. Section 1 reviews these categories and establishes the existence of pairs of adjoints between them. These adjoints come in handy in Section 2 where the 1st-order logic of the above-mentioned categories is described as well as fuzzy logic (in the sense of Gottwald, Bandler \\& Kohout). Finally the author studies so- called change of basis: given a map f:H\\(\\to H'\\) with certain structure- preserving properties, how are the corresponding categories related? The results are described in Section 3, depending on what f preserves exactly.    Reviewer's comment: the paper is particularly recommended for its clarity for non-specialists in category-theory. Maybe one could ask for more completeness (Arbib and Manes' fuzzy theories are not even mentioned for instance) and for some more motivation (why, e.g., it considers only the herein described fuzzy logic when there are many, many more?).","type":"string"},"datatype":"string"},"type":"statement","id":"Q762152$02EBBB91-811E-4426-B044-7042B629CF3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762152$63C37BAD-7E22-4852-AFA4-66A14F94C4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9038fbc6c9eb2d241eed759e44bf47d202533f7","datavalue":{"value":"03E72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762152$73F5210A-660E-4223-9C1A-17A3F44BF0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762152$056BFBAB-CF15-4ED0-84DE-32B4DDA50273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762152$9720D206-3D84-4025-A557-1896452F1398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762152$914F9502-41A0-4226-8A7D-CA75EA990E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762152$2D7B6CBD-5C7C-4F12-92F3-4E18AFB094DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762152$9101C8FA-778D-4084-9CF1-E2A5AB265FD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"752e974178494babd5ea10bd98c9aadb231622a1","datavalue":{"value":"3887687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762152$910BF804-A235-45C8-91B7-228C8EB0AC57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c955c19cc74a34a1a8de2f41a1a6705f05a9e7","datavalue":{"value":"topos of sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q762152$0495759C-B9FD-4554-88B8-F9578DBA7F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea90041a2428e1c3dd92667f42d8a74ef4d8ca1","datavalue":{"value":"locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q762152$B0129273-4BD6-445D-8FFD-C33282658C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q762152$F7D4A1FF-FAEA-43BA-87A2-0E5265BEA482","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bc7a4844df6c1e7fd45e2597303e18bd88cee256","datavalue":{"value":{"entity-type":"item","numeric-id":598278,"id":"Q598278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$F4D88DB1-E5E9-461C-8043-9B19D1215ACA","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":"Q762152$971BC242-A8CF-4B50-8DF9-A7FA6E48CE47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91aa8a162f2d1ee36c576effcb8a788576ba8745","datavalue":{"value":"https://doi.org/10.1016/0165-0114(84)90036-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q762152$17F337C7-3CB0-4DE6-85AB-C9DC12AAB9B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3b65f0da7e271717b9cd5c5d9106856a5a4416d","datavalue":{"value":"W2012890930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762152$60B73F4A-E4FC-46F4-89E2-494FC97A794A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d7b90439a57d37535094e1169dfa2a55b40717","datavalue":{"value":{"entity-type":"item","numeric-id":1139034,"id":"Q1139034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$9942E1D2-168B-4844-A92F-ED3C779C32FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b50b41b14480fcc9beb507cfdcea5d47eafb6a","datavalue":{"value":{"entity-type":"item","numeric-id":3333040,"id":"Q3333040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$9A45DDD9-3FCD-4B07-80EF-9FD3E147BC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7498162a8394a6121d6d9722961947744e0d053","datavalue":{"value":{"entity-type":"item","numeric-id":1148901,"id":"Q1148901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$7A8B090A-C803-4D6C-B4AE-7AEFCF224320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1829d57a79fdec03bcb9e543ae58b9bda3fa26be","datavalue":{"value":{"entity-type":"item","numeric-id":3050433,"id":"Q3050433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$5540211F-010F-4306-A11A-7EDB9C16D99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348626b76337418115742bce9a0b318997421ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2523884,"id":"Q2523884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$7073771D-F791-48C5-ADDF-3BC622A5F012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d90c9a6a2561a6fbddcbb83612d047b18ae7306","datavalue":{"value":{"entity-type":"item","numeric-id":4083023,"id":"Q4083023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$F26AB455-98C0-4AB0-9D6B-C673CF87C725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864023aa78030f1f2d6c56c8127fa6caaa3c6685","datavalue":{"value":{"entity-type":"item","numeric-id":1139588,"id":"Q1139588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$D62A3285-BDD9-4F0B-9CA3-67F24DBFDCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78e00d3c66849bbf5d1f4d6fc3104507f2e54f5","datavalue":{"value":{"entity-type":"item","numeric-id":4106199,"id":"Q4106199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$DD03CC68-7979-43DD-8281-5F9DE1128333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97dd5ff57a25bd6f064406a8ef9f6e5ec7b2f35","datavalue":{"value":{"entity-type":"item","numeric-id":1258304,"id":"Q1258304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$EDC9F692-BAFD-491C-B528-65F06DF1DBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$C043F3FC-0458-4614-A62B-D966A80B9C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5063cd6eff88a34d44e6a501ca4060acd76e9aa9","datavalue":{"value":{"entity-type":"item","numeric-id":5662560,"id":"Q5662560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$2BBAA124-0D84-48CD-AE71-CC943D86FF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a048f2ac61fb4a4f714ed49c5957b6625fafd912","datavalue":{"value":{"entity-type":"item","numeric-id":1171571,"id":"Q1171571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$C21DF15D-C840-4D23-8BA5-EA49F962EC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee22fb5c8e8df06bd38f2a1ae673f31be85789f5","datavalue":{"value":{"entity-type":"item","numeric-id":1171572,"id":"Q1171572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$F6AC5307-7C8E-4C3B-BB32-72D66E44709D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cf8e710cdce62c34f45a1ef0d4ced3fab15642","datavalue":{"value":{"entity-type":"item","numeric-id":4111011,"id":"Q4111011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$90C7A3A7-B544-4B38-BDCE-144E274C7208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adab1bee4793506117da7ac9e153f881acd8215","datavalue":{"value":{"entity-type":"item","numeric-id":5551203,"id":"Q5551203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$38271A60-AC81-4DB3-8A4F-8DA2F7653539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fa7f9caf1580488048c3c68095afc7d3e27ca9","datavalue":{"value":{"entity-type":"item","numeric-id":4124991,"id":"Q4124991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$C984ED90-EB9C-4FBA-BDEA-86B472DA80C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac0ea3879edb5875cf1126241ca726cfcb1f457","datavalue":{"value":{"entity-type":"item","numeric-id":4076464,"id":"Q4076464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762152$25C7C31E-B78F-411F-B504-81CE10B75595","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d2babd497bbce714d0d615cb3dd86f93170d2b","datavalue":{"value":{"entity-type":"item","numeric-id":865043,"id":"Q865043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926c88e5d76163efaf79d175362251d5e0d22759","datavalue":{"value":{"amount":"+0.8284515738487244","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":"Q762152$AB5F8F75-AF6C-4BC2-A42D-E3C595E802C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbca4412718008968fdb751cd4abf781ca621c93","datavalue":{"value":{"entity-type":"item","numeric-id":3676145,"id":"Q3676145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c85a320e70cb23897cb7ec6bc53414d8e3ab32","datavalue":{"value":{"amount":"+0.8249775767326355","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":"Q762152$EDDDBBAB-B471-4286-83D2-A156E401A889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"631e6c36840bc05c2f81e93ed67cbbbbb099ad03","datavalue":{"value":{"entity-type":"item","numeric-id":1263583,"id":"Q1263583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64a9b5f646b0bcd55ac358fa0c7e73cf3f07daf","datavalue":{"value":{"amount":"+0.8126441836357117","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":"Q762152$56CE586B-3F3B-48EA-AB33-DD5F7782BFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"745c60697183ec7380fd843c8c6161587d01f803","datavalue":{"value":{"entity-type":"item","numeric-id":3820774,"id":"Q3820774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c628728dce25587bd3de131c4819be1ebd757f0b","datavalue":{"value":{"amount":"+0.808045506477356","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":"Q762152$9BC77F7B-C6E8-4CB4-B5CC-43EA4F398746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2577c4fa2ad2af4b612b3f8fc4a68dbc75a09c0","datavalue":{"value":{"entity-type":"item","numeric-id":1310393,"id":"Q1310393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df25695e9d9d3754aafeb3419f5f9a3be8e3f732","datavalue":{"value":{"amount":"+0.806179404258728","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":"Q762152$63D40228-7876-4DD0-B161-F52F3C027F2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Topoi and categories of fuzzy sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Topoi_and_categories_of_fuzzy_sets"}}}}}