{"entities":{"Q678845":{"pageid":680694,"ns":120,"title":"Item:Q678845","lastrevid":63434163,"modified":"2026-04-11T13:07:41Z","type":"item","id":"Q678845","labels":{"en":{"language":"en","value":"A presentation of the initial lift-algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004399"}},"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":"Q678845$D7902DDC-F596-4738-AF05-4504DCF3AFAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb87b64d5fc4c6f6e524f99b6af5cc02331c7819","datavalue":{"value":{"text":"A presentation of the initial lift-algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q678845$C2BFD1A0-A13F-4EF0-A360-B0AEF3C5286A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d3e9cb311e3731210204c4e49a4d504dfb4c44b","datavalue":{"value":"0879.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678845$683C30F9-91A5-4E6D-B00E-94DD5FDEBAB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f4985d1858e7e77ce0dd437db9b697cb008644","datavalue":{"value":"10.1016/S0022-4049(96)00108-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678845$5E481D22-7DDF-4FAF-B854-BC3879A34454","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a64c885a1154df6f4ff877f7f306fc40e8a6d","datavalue":{"value":{"entity-type":"item","numeric-id":165870,"id":"Q165870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678845$215BDE8C-20C5-4B2A-8F3E-35FA378252C8","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":"Q678845$9BC374AB-AEF5-447A-A7C6-27C41BE037FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b866ee3cb60433d92ae5f464f67832ea98456d1","datavalue":{"value":{"time":"+1998-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q678845$ACA7C137-2551-491E-BA8C-FF2F0F47DD86","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b8689af326e519bbce33a0679d98796085a3b2e4","datavalue":{"value":"A non-classical natural number object in a non-boolean elementary topos \\(S\\) is studied. The construction is to replace coproduct + in standard ``equation'' \\(x=x+1\\) using the ``partial map classifier''. One may say, that the operations of the arity, given by subobjects of 1 are considered. A detailed algebraic study of properties of this object (a proof, that it is an initial algebra, connection with the set of subobjects of ``standard'' \\(N\\), etc.) is presented. Possible applications: in universal algebra (one may encounter the algebraic operations with arities more general than numbers); in denotational semantics and synthetic domain theory (non-standard domain equations).","type":"string"},"datatype":"string"},"type":"statement","id":"Q678845$752C5165-AE65-4389-B116-F18623CFFFFA","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":"Q678845$840ABF45-3D5F-4F57-9B75-0876EA09630A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678845$8C22F8D2-DEE9-41F8-8441-ABECF62B514B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678845$F6BC2097-2CD3-471D-8CF4-CA76956D9123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678845$6E65670A-808E-4466-81A0-E49096DBA2F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9508aaa7d49ca23364836acb8392403be1c78ed","datavalue":{"value":"1004399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678845$E714144C-A7FE-4DD0-B41A-CA0E168AFD3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0e4f020027c6f1c62b57c729c8f6c00c51019e","datavalue":{"value":"initial lift-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q678845$0C23FF84-F2F9-4743-A2F0-2723029779CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec252041b0ad765e286e23bd58d0b222ddee5109","datavalue":{"value":"downdeal","type":"string"},"datatype":"string"},"type":"statement","id":"Q678845$54F36696-ED05-4818-A975-8EF9E6F89F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a8e51f4d9801c128054944bad82901bd7ad261","datavalue":{"value":"elementary topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q678845$5E74595A-9A38-4FEB-A12F-3A6F62046F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q678845$56180757-347A-4ADE-99E4-3695D4178C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q678845$37896AAB-F714-40C0-9B31-7B1337FB59D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e45185463b5e772fbca77d3925506061cb10f84","datavalue":{"value":"synthetic domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q678845$9438E236-20C9-4574-958D-F196F1CA879D","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":"Q678845$0296838A-28BB-4113-A6A6-F2718E0F004F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f41710079fba2d4ca727006c486364613bdcf1","datavalue":{"value":{"entity-type":"item","numeric-id":3801546,"id":"Q3801546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678845$F0D62852-3678-46F6-BC37-15544F066477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309cd0ba5e82c32fdcaf374f9a8a6e13f4266f82","datavalue":{"value":{"entity-type":"item","numeric-id":4882486,"id":"Q4882486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678845$8EA621E2-34F4-469A-AF04-33D49751F0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf5b5d0eb48e6ee39e136eb46ae3014d5b852a3","datavalue":{"value":{"entity-type":"item","numeric-id":5665317,"id":"Q5665317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678845$30477DA1-1F55-40C7-A968-660C7E422502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fee693ed63de795908d9ea9b39d5124d8fc52c","datavalue":{"value":{"entity-type":"item","numeric-id":3978971,"id":"Q3978971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678845$C34868C3-A402-4AF7-974F-086696719BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b446a9efc9b95e79a4963e360bfd0dc2c967cf02","datavalue":{"value":{"entity-type":"item","numeric-id":3138538,"id":"Q3138538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678845$656CEAC3-CDF6-488E-B571-3EB562F6AE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c92da0edbb6315f5fc10e8ac4f3b36534ca6a8","datavalue":{"value":{"entity-type":"item","numeric-id":3978973,"id":"Q3978973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678845$CF7033CD-F3B4-4FDE-982D-2FD82071D6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5402ad9af64bf0f395f053933057ba76492e9ecc","datavalue":{"value":{"entity-type":"item","numeric-id":5057468,"id":"Q5057468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678845$B95F2A9D-EB5B-462E-A1E6-77429750FDE2","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":"Q678845$3EC09F79-2C19-4409-BC39-7BD3CCB7D6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a47db70adad38a3978bca67c2e433a9286ba641","datavalue":{"value":{"entity-type":"item","numeric-id":3138550,"id":"Q3138550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678845$1A38E24D-E33D-4B89-A15C-4A9C562BCA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce9517eaffda9162f57983a2e69733579a3ad9b","datavalue":{"value":{"entity-type":"item","numeric-id":4173541,"id":"Q4173541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678845$2E4A72DA-5567-4933-8BC5-345E361E0EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b4d0b84553ace3c1686bd305b88438b8dcb98e4","datavalue":{"value":{"entity-type":"item","numeric-id":4853985,"id":"Q4853985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678845$427A779B-4766-4473-A570-D4DB009BBC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678845$50427E39-596A-4370-B710-1DE801B46584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cbe19fcefeee0f7452f0785bfac52068f96015e","datavalue":{"value":{"entity-type":"item","numeric-id":4170869,"id":"Q4170869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678845$948CBFED-5937-47AD-91B9-12EE9C47877A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4fd635c2a589a873e3e4aae2d388d57fde5649a","datavalue":{"value":{"entity-type":"item","numeric-id":4137239,"id":"Q4137239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678845$7CD24E10-B41E-458D-80E7-3444BA24A622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678845$6F3189BD-CC57-4554-9EF1-4672B015D279","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce394319a829a041656a0240c01857b489ff009","datavalue":{"value":{"entity-type":"item","numeric-id":4726438,"id":"Q4726438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a854c3b1965c83e660927593b70cfcd351e952d","datavalue":{"value":{"amount":"+0.7472789883613586","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":"Q678845$4D12A620-DF03-4322-A6B3-595E34BAC452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40e919ebbbd9505f9382e78280cadf2f868b56f3","datavalue":{"value":{"entity-type":"item","numeric-id":3803301,"id":"Q3803301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"505fb7a9a9e3766b533f1bdcd727a19d0bcbf7e1","datavalue":{"value":{"amount":"+0.7462804913520813","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":"Q678845$F22D3C4A-2A37-417A-8344-2A8739C6FC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f516d6030857b76e82d6531f84f27965e994d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3491548,"id":"Q3491548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f23ca0e0509d0e887bef3fea6b9c6c9de7e47ea6","datavalue":{"value":{"amount":"+0.7270669341087341","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":"Q678845$B6C1735D-528F-4E95-8239-A6CBE1B4FFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08e9ae8b6a026dcba7516e7e940e6f88c28375d9","datavalue":{"value":{"entity-type":"item","numeric-id":5858943,"id":"Q5858943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e68220818fb861f01e9b2e104b58ad33a206810","datavalue":{"value":{"amount":"+0.7235422730445862","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":"Q678845$8BB4F896-7FAA-49D4-9028-D14E9D7D9D56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A presentation of the initial lift-algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_presentation_of_the_initial_lift-algebra"}}}}}