{"entities":{"Q876384":{"pageid":878232,"ns":120,"title":"Item:Q876384","lastrevid":42741073,"modified":"2025-07-09T18:09:45Z","type":"item","id":"Q876384","labels":{"en":{"language":"en","value":"Coalgebras in a category of classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5144416"}},"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":"Q876384$38CD7248-95D4-4D30-9488-B8E43AD5EA9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"605a69df7fcbe5896984fe07feb0f5d69896e7cf","datavalue":{"value":{"text":"Coalgebras in a category of classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q876384$C8D5C362-5653-4F14-9957-8663677C3C4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8b132afd8919d4d609e864fec81d0f3137da832","datavalue":{"value":"1112.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876384$C44816AC-9B76-4516-BDC3-90163B255550","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d66395a61e36954022b73f8489c75bb54138f1cc","datavalue":{"value":{"entity-type":"item","numeric-id":385802,"id":"Q385802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876384$6D3CF829-5298-47E2-BEF7-C80EAAE27BE4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876384$012D9941-51D9-41CC-8B23-2893A4B6C02F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f339c49c589764265da0f7de34a17b3e7a78e06","datavalue":{"value":{"time":"+2007-04-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q876384$C896C30D-6383-4569-B5CB-FEBA9DD7ACF3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b1fcaca177cc7d22861cb8ca2cccea2b62c3e318","datavalue":{"value":"The author extends the familiar result that if \\(C\\) is a topos and \\(G\\) is a cartesian comonad of \\(C,\\) then the category of coalgebras \\(C_{G} \\) is also a topos in the setting of algebraic set theory [\\textit{A. Joyal} and \\textit{I. Moerdijk}, ``Algebraic set theory'', Lond. Math. Soc. Lect. Note Series 220 (1995; Zbl 0847.03025)].   In particular, it is shown that, under suitable assumptions, several kinds of categories of classes are stable under the formation of coalgebras for cartesian comonad, internal presheaves and comma categories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q876384$64C74864-70DD-49BB-9D77-BC1372DDC739","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876384$5D5E9225-4A42-40A3-9E22-F81EE2183DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876384$FFA96E96-710D-4565-846A-38CA17C434EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876384$54E88958-AE0F-41D7-9F0C-625F7952B79B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4705f52277ba40c6682c12fc86c39fead710404","datavalue":{"value":"5144416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876384$462FE753-061E-47D3-90CA-056C6A84943B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d914b03804764ee7eef8a1ee2e6d22d19eb6e3fd","datavalue":{"value":"algebraic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q876384$1C309DA7-335E-493C-8231-F1EEFC3E3580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f21e5d3d69ef70938e6321c2f00b0f963c8a2a1","datavalue":{"value":"Cartesian comonad","type":"string"},"datatype":"string"},"type":"statement","id":"Q876384$B4CAFBB5-15C6-4DB4-B4B3-E76598C9D6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q876384$D12F071B-0619-46C0-BEF6-20FB2EAB21CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485e9d5679905448039a8ab30c3b8e5075d70921","datavalue":{"value":"internal presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q876384$D8374194-3CFC-4317-8B38-411B5DA49AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aea17022b758b08d4b039fe59936fb505daee19","datavalue":{"value":"gluing","type":"string"},"datatype":"string"},"type":"statement","id":"Q876384$583E51A9-C624-4F14-A0C8-90ACF23CFB87","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876384$E65DE8A0-E348-4C5E-93C7-7C3F7B69AF18","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":"Q876384$DF1045A3-0361-485B-B68B-62987CE7F743","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36f3d3eb3f6d9de548244b0c6e2c637955935741","datavalue":{"value":"https://doi.org/10.1016/j.apal.2006.12.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q876384$8B83447C-9CB6-4ED7-B8A0-477CBCD04E6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"906bc04b8f49c34e32c7cf1f71fce61f6774544b","datavalue":{"value":"W1977076690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876384$5320B8B6-5E63-413F-A353-716E070F1608","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d598f4b2615da1120018e8303582109fdc14b325","datavalue":{"value":{"entity-type":"item","numeric-id":386623,"id":"Q386623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876384$FC61B24A-B70A-464B-A392-E85A11092376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"006f5c7cbee5b7b2a5fe6f4372e1354f30be4828","datavalue":{"value":{"entity-type":"item","numeric-id":4680361,"id":"Q4680361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876384$48640B4A-E927-441A-86EC-C6C4CFFC569C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876384$0839B258-CF3D-43D0-93A3-0A71B2EACCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe712bd3d5d1675a3ad0ac1e6dba752efc3651cf","datavalue":{"value":{"entity-type":"item","numeric-id":5718563,"id":"Q5718563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876384$1AC69CF2-25B3-4C62-AA7F-D4CDE37B17FB","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":"Q876384$3618F81B-0802-4A63-B63A-D9D709096E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876384$F26BE4CA-6342-4460-A413-B846F2B0FBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32137845c073e84e544eba4c17c52212773e889","datavalue":{"value":{"entity-type":"item","numeric-id":5957856,"id":"Q5957856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876384$E51C50FE-68CC-4444-9AB8-F2BEB6602A4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf0754ed172eb76899ba9a87e571013c9121c74b","datavalue":{"value":"10.1016/J.APAL.2006.12.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876384$8BD9B8FD-FDB8-4702-92D5-F80396E37D8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab48aa2d61608f4d0d09084a6e6b107807ff3bc","datavalue":{"value":{"entity-type":"item","numeric-id":5611812,"id":"Q5611812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd2918d0603c8fb55ae7ec86e4bba2f3f722902","datavalue":{"value":{"amount":"+0.96442634","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":"Q876384$BADDF6FA-0FDD-4CB4-953B-1DBF4E7F78A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90136ceb17346bf0cfe0ae628249373caabf882d","datavalue":{"value":{"entity-type":"item","numeric-id":5941161,"id":"Q5941161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519a562eba54e467e9f2a06d0eb88941cd22806d","datavalue":{"value":{"amount":"+0.9516606","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":"Q876384$696B6981-4F75-4569-8300-18D216555DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b14ac3931842365cb49462fe460d4ed5a065930","datavalue":{"value":{"entity-type":"item","numeric-id":607458,"id":"Q607458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c85fed6b369fd5513e09d26a0030df843beaad2f","datavalue":{"value":{"amount":"+0.933081","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":"Q876384$77C71D95-E546-4C45-AB73-C15E341450B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c81f2ce2136f50658a19aae64434a114a53d28","datavalue":{"value":{"entity-type":"item","numeric-id":4557442,"id":"Q4557442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc71740514f8b29c69cf1629273b351dbb67401","datavalue":{"value":{"amount":"+0.93117094","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":"Q876384$9B8FD0AB-9BC2-4F21-8728-CB0D90E086F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62dd1268c1aa07cd4d15515600fda1dadbf0757","datavalue":{"value":{"entity-type":"item","numeric-id":4582764,"id":"Q4582764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc71740514f8b29c69cf1629273b351dbb67401","datavalue":{"value":{"amount":"+0.93117094","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":"Q876384$B8834084-FF63-4DA7-A189-DB7AA6B0CC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55b7ab5703d737683dde06ec042dd36ef5987736","datavalue":{"value":{"entity-type":"item","numeric-id":4222954,"id":"Q4222954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce9e972345b63152e837c3ab1be0044f2646160","datavalue":{"value":{"amount":"+0.93087256","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":"Q876384$1E6508D9-FFC5-4724-8301-6634F2ED6381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642cfe664f438dc3311e65a2e788d60ea5949006","datavalue":{"value":{"entity-type":"item","numeric-id":1434346,"id":"Q1434346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e801e5d571dbccd5eb1b407428a583ef10a25370","datavalue":{"value":{"amount":"+0.9307617","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":"Q876384$F248F2E0-8D49-480A-91D7-D815DC08C90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2013648839d8e6e0a8af77aa7ae5428c48706776","datavalue":{"value":{"entity-type":"item","numeric-id":5208691,"id":"Q5208691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d434631279a61e8bfb09e9ab88dedcf3e16c8432","datavalue":{"value":{"amount":"+0.92570317","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":"Q876384$B1E2FA30-87F5-4098-BFBE-45BF2D0F09EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69ee2d2c03ddea4e910568220556e9f49235476f","datavalue":{"value":{"entity-type":"item","numeric-id":3430263,"id":"Q3430263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"890c5535daaa3ff085b89c70130004bc9e8e5c78","datavalue":{"value":{"amount":"+0.9247823","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":"Q876384$05D0C65E-4726-4EE9-89F3-60DCF7C3FC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc4e479b353d08fd98df23da4a71607c34499e8","datavalue":{"value":{"entity-type":"item","numeric-id":409255,"id":"Q409255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01943552ba3566a64caccc31a95a7caffa592cfd","datavalue":{"value":{"amount":"+0.92447263","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":"Q876384$10C23AA3-8547-4BDB-92EE-F806A2D88036","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:876384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:876384"}}}}}