{"entities":{"Q1818628":{"pageid":1829370,"ns":120,"title":"Item:Q1818628","lastrevid":73026879,"modified":"2026-04-14T09:28:36Z","type":"item","id":"Q1818628","labels":{"en":{"language":"en","value":"On a bicomma object condition for KZ-doctrines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1384145"}},"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":"Q1818628$15079629-F3AF-447D-A5E0-4FAD6F4E29FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2adbb7da79eeba3ef51a9b338c94e0711703a4d8","datavalue":{"value":{"text":"On a bicomma object condition for KZ-doctrines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818628$1B15B116-70EB-4DF2-8341-E5B5B235FDCD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d3e9657c614e7d0f81ed9696a6a4cab5d7c44f0","datavalue":{"value":"0935.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818628$F5C8BBAE-EDFC-4A3A-A00E-072D8E21631A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32cd85e5d3a9fa441f4f5192a94c963dc485d08d","datavalue":{"value":"10.1016/S0022-4049(98)00108-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818628$2313A97E-ACB1-47CE-BE6F-CB91CA4758F6","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":"Q1818628$69D2EFF6-AF4D-4777-A835-A0785FF3A4EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5bfa12347d4716af416e8493dcfe0d9b94cba5","datavalue":{"value":{"time":"+2000-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1818628$A3A56B58-4157-424D-B48F-A560C8293D14","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f51c8a6d6049a4be72ff9ba09f5fe84a9880816a","datavalue":{"value":"This paper contains strong results concerning Kock-Z\u00f6berlein doctrines that satisfy a certain bicomma object condition (called admissible KZ-doctrines). In this context a notion of bifibration (which includes discrete fibrations and opfibrations) is introduced and studied. The main questions addressed are: the characterization of the Eilenberg-Moore algebras in terms of cocompleteness; the description of the Kleisli 2-category by means of its bifibrations; obtaining, in terms of bifibration, a ``comprehensive'' factorization of 1-cells (and 2-cells); the investigation of the case when the KZ-doctrine is stable under change of base (a characterization of the algebras as linear objects and a classification of discrete fibrations are obtained). Known facts about the symmetric monad are revisited and new results for complete spreads in topos theory are obtained. The main example is the symmetric monad in toposes, but also other KZ-doctrines are considered: the lower power locale, the lower bagdomain, the lifting monad in a posetal 2-category.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818628$9AEC5A91-0E17-487A-996F-8A39602AEBC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818628$0914171E-1C6A-4D3D-861D-3E7C5ABFD4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818628$E464DD3A-B05B-4DAA-915A-1BAF2D9B4D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818628$FEA2D9C4-1318-4D1C-B8FB-EC4FED27C799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818628$376CFE53-F9F8-4AEC-8CF6-51D2C4CE6ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818628$78A66562-3AAB-4592-90F8-0FD77CD09D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac53b3d8ea831a008f6edc0617972e2b6304397","datavalue":{"value":"18A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818628$481011B2-E790-4CC1-A6B6-A6E5EF62A053","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a10dac8e5da3050273b40ac9d26346bedff4a0c7","datavalue":{"value":"1384145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818628$1FDE20D9-E9EB-4D8D-98BA-1E64BC0C2C55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e3ed26a38ca84da5dc9b001ddc08fc6f6df5c9a","datavalue":{"value":"KZ-doctrines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818628$151F9112-B1DC-4820-B43B-D9CB5DE932D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8567f63e5e9bcfef4bd47271f75eb1568794faf3","datavalue":{"value":"bifibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818628$435C81DE-F21B-416D-8F10-7A093E406E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a8046aa2869e6e4647b2cad09122d52100d684","datavalue":{"value":"symmetric monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818628$22ED59A2-5F4D-40E9-9CD4-1B33B65B6076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b3410f29437c9819b7d473b4237efbbb459ab6","datavalue":{"value":"Eilenberg-Moore algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818628$993AF87B-0A4B-4FFB-9653-A217E96B5E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac55d4dca18b67f1e4c8d338674652c75f6abcf5","datavalue":{"value":"complete spreads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818628$704C8A74-5629-4930-B006-37FE1A78A08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818628$8FB3BC0F-2921-485E-9163-27C186AA7F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cf59095ee378dd507aef49ed7cef2439b55d1bf","datavalue":{"value":"Kleisli 2-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818628$60EF918D-97F0-43CA-9619-16D0C9B7F038","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"204dcd1cab8329d14fce1118fe6edefb3cb4aab4","datavalue":{"value":{"entity-type":"item","numeric-id":1250099,"id":"Q1250099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818628$E96428F3-9A0D-4650-8214-5B067A66DADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3da51c47021733442e981364e57f8172ac673a34","datavalue":{"value":{"entity-type":"item","numeric-id":165869,"id":"Q165869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818628$8797B853-26E3-4C85-AF5D-C628C3712EBA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1f834c47030eb2382021869df69e45ea67b8fafc","datavalue":{"value":{"entity-type":"item","numeric-id":587556,"id":"Q587556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818628$EFBE33A4-E363-4816-9641-3EF821494B3A","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":"Q1818628$34E89CE4-2B01-4566-8C9B-009374F6544D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7b7025bfaa8deaddcfc2dfa60f90bc5deea5db0","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(98)00108-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1818628$0AA3F2BE-28AD-40E5-BEF2-F25FBDFAC9B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef5c429919a6a31fb53227eb303a564d2f66c356","datavalue":{"value":"W2069651005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818628$618D5357-CCF1-423F-A40C-1E050A2038E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f26cb2b2a31b4d5205a8999f0aaba550d5a407d4","datavalue":{"value":{"entity-type":"item","numeric-id":2011378,"id":"Q2011378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e48338c0d1f04b43d7fb2ee4f5974d6f8ff716e","datavalue":{"value":{"amount":"+0.7974855303764343","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":"Q1818628$4F448A05-C613-48AE-BB2D-0F583D848DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35bf869ac331fa844352f4c6d24327d944fd18ee","datavalue":{"value":{"entity-type":"item","numeric-id":684097,"id":"Q684097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a89af925e1a91fba37b2ec3f48db5c079f2e7b0","datavalue":{"value":{"amount":"+0.7753661274909973","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":"Q1818628$811BA33E-E7EF-4E6E-93C5-6D364D7A4E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79b6ff9886e729afa9105a59aed58d7823a94bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2847360,"id":"Q2847360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b40327c8d093e2d17450142793522368170cb9d","datavalue":{"value":{"amount":"+0.7589928507804871","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":"Q1818628$A50E2739-E22B-45AE-9AA1-FD4656152266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"859bb215834ed560bba3fae8f42c1ee767bffb4c","datavalue":{"value":{"entity-type":"item","numeric-id":3156503,"id":"Q3156503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0d328361bd217194c123d1156666afa7c54dd9","datavalue":{"value":{"amount":"+0.7468188405036926","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":"Q1818628$4E01ADCD-7092-4E18-AEF5-65AB0342E44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deada7c568f0c30906f4b936c429fff846eb9f0c","datavalue":{"value":{"entity-type":"item","numeric-id":1850097,"id":"Q1850097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0f6b02b6dc45c901957afda6b3dcfbe2cc73a03","datavalue":{"value":{"amount":"+0.7408890128135681","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":"Q1818628$94B7DA3D-DB02-4C7D-AC96-D415D73AC257","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a bicomma object condition for KZ-doctrines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_bicomma_object_condition_for_KZ-doctrines"}}}}}