{"entities":{"Q1923803":{"pageid":1934545,"ns":120,"title":"Item:Q1923803","lastrevid":69313527,"modified":"2026-04-13T06:10:23Z","type":"item","id":"Q1923803","labels":{"en":{"language":"en","value":"On fixpoint objects and gluing constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 934059"}},"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":"Q1923803$0721142A-EEF4-4587-BB00-FFCE1DA2DFBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66bcca197bc86bb7f06055c1e3254140c8524131","datavalue":{"value":{"text":"On fixpoint objects and gluing constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1923803$7ED39A7E-C834-4DD9-A981-C3F6FB655891","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"598448308fae4a40e0432b8d92c085acf0e5f474","datavalue":{"value":"0862.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923803$35087F13-597D-492E-B711-D181EEF34A64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a6b929a522980e12cd5b0a6d4fd50fbba80da8f","datavalue":{"value":"10.1007/BF00122256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923803$553239B5-99CD-417A-9110-C62E5C04F392","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a40fb8ae99741e91d6a63c85400bf5c0ece51d8","datavalue":{"value":{"entity-type":"item","numeric-id":265796,"id":"Q265796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923803$B4F7BD7A-D9B8-47C2-925B-FE03D033FF47","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":"Q1923803$AAD661A2-7EF3-446D-A681-4387BA8AD748","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56f9702c31b9db23a5a567e881d83ae128b09dda","datavalue":{"value":{"time":"+1997-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1923803$F3799A91-91AA-4E7D-9D0B-7DFEF57C24BA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1866af461e79b8a2c4e390c76af872e27549173b","datavalue":{"value":"Categories with finite products and a pointed strong endofunctor are here called ``let-categories'', because of an application in computer science advocated by \\textit{E. Moggi} [``Notions of computation and monads'', Inf. Comput. 93, No. 1, 55-92 (1991; Zbl 0723.68073)]. A fixpoint object is essentially an initial algebra for the endofunctor. The author studies conditions, or modifications, needed for obtaining new ``let-categories'' and fix-categories out of old ones, and gives logical counterparts of the information thus obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923803$0BA0F6A0-2985-4014-8507-DE57A6B1467E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923803$0803E0A8-D1B1-4CE4-A4DE-259C718CAAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923803$C4B4DD65-6CCD-4DDD-AC22-42BDBCF3F44F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0e372d675c6adf3285c5f98576ea3932965a0ad","datavalue":{"value":"934059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923803$B2DBB5DB-DA59-41DA-A4C5-362CDED6E129","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d03b8a8130479923e5c0193cc5c7481d82c09e4","datavalue":{"value":"categorical type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923803$7926DF2D-2F5A-4DFB-B5E4-B98C1ED04A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adc572ccd55767080e7acc17401d4d1ba7f7f5cb","datavalue":{"value":"initial algebra for endofunctor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923803$F506FBE5-8793-4B52-9D98-9973D2140DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"892b3dd7bf33c243ebbaa3db997dbe0484e5479c","datavalue":{"value":"let-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923803$2ED2CC8D-F87A-48AD-8D36-AF1D27097241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bfe6833e585e8f76a7c413fe9275999ed563a7c","datavalue":{"value":"fixpoint object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923803$7AFDDEE0-86E6-41A9-B9E1-1FA0705BC5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eb570dd8a9aa584cc49d36c463c819c38ef842e","datavalue":{"value":"fix-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923803$19B35C72-EBBA-4C56-88AC-A0745AD9730A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"06053073f43b1cb7a30d04c3029abef6e6536b0b","datavalue":{"value":{"entity-type":"item","numeric-id":638551,"id":"Q638551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923803$A2DD5EDC-2E70-42D9-8A87-15E487E4FED3","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":"Q1923803$2BA2B52A-76D9-45E3-92F4-7688F7877BFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923803$8C2F719F-4C78-4A47-90B6-EC8D00FA79B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923803$83FA2E59-7396-4676-AD60-DA675206921E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b736495aea3314de1463970f2749c04ad07802a6","datavalue":{"value":{"entity-type":"item","numeric-id":1193588,"id":"Q1193588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923803$AE7D7490-5F7B-42D2-8AC0-D5FF28BF68AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5bc0e3eba9c0ba237df4d31d84fac3bde0d1fd","datavalue":{"value":{"entity-type":"item","numeric-id":2539417,"id":"Q2539417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923803$C968C527-1152-4129-971A-1CAB4675E899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5abcfdc532f878fab9e89230ef7feb7815d5627","datavalue":{"value":{"entity-type":"item","numeric-id":1148318,"id":"Q1148318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923803$784DB724-2F1B-4668-8392-1CD643860245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923803$15707BC1-B46F-4935-B0B6-6BF63DEAEF00","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":"Q1923803$F5B84341-3D64-458C-B7DE-8AD620635A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923803$F46A969F-AC8D-40A7-995D-743710C37270","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e786e5d16f490e364a5c5d2fb15592e01ee620c","datavalue":{"value":{"entity-type":"item","numeric-id":4206923,"id":"Q4206923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d18592c624d29c3e9861f17843dfa3554590a203","datavalue":{"value":{"amount":"+0.8309378623962402","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":"Q1923803$BE42CDDB-605D-460A-A3AD-FFD2673C9B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95aac2f2b0a162292722e77dfdfedb1dab95d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3138544,"id":"Q3138544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23cf66c0e173393bca625b9bc58ea1bef3c85a3d","datavalue":{"value":{"amount":"+0.7707878351211548","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":"Q1923803$A715C96B-80AF-44EC-B4F4-6D2EE57A275F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991b0f5972beb29ecf86d4b914c8aefc0c79eca8","datavalue":{"value":{"entity-type":"item","numeric-id":1605186,"id":"Q1605186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78ac5bd64bca88d752f21b2df548416717f466d0","datavalue":{"value":{"amount":"+0.756501317024231","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":"Q1923803$EFDDE653-CD8F-4E8E-8A8D-96DE71328383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93acd6d9164ba4996727ad731f37eada803be4bc","datavalue":{"value":{"entity-type":"item","numeric-id":3999603,"id":"Q3999603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2adc8cab911a159e1b3b4fc73cab190733e765f","datavalue":{"value":{"amount":"+0.7505315542221069","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":"Q1923803$6F2CEE79-2C4C-46D2-9AB6-006EC902C37D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On fixpoint objects and gluing constructions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_fixpoint_objects_and_gluing_constructions"}}}}}