{"entities":{"Q7006825":{"pageid":21543915,"ns":120,"title":"Item:Q7006825","lastrevid":83023421,"modified":"2026-05-06T23:03:48Z","type":"item","id":"Q7006825","labels":{"en":{"language":"en","value":"The elementary theory of the 2-category of small categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8017558"}},"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":"Q7006825$0863F31E-766D-4C47-98DA-EA4F689A3498","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"078024f43ab871deac7e2d8ff3b0300ebe9bbe76","datavalue":{"value":{"text":"The elementary theory of the 2-category of small categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7006825$3D126CDF-AD1B-4BBC-B200-6FBC75CC2912","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"673fd2f9d763129e4eb618acb3388814f826f339","datavalue":{"value":"1568.18036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006825$1A5F41AB-130B-4449-BB67-C921159E0745","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"988d1d2563170289297605812cdceb1d72da8a4a","datavalue":{"value":{"entity-type":"item","numeric-id":6524846,"id":"Q6524846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$AFFB8251-4BB3-42B9-BFDE-9F5B0EFF70CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25df1e84725582ca33bc3fdbafa819bab78f8cee","datavalue":{"value":{"entity-type":"item","numeric-id":6416120,"id":"Q6416120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$FA73ED17-9267-437E-BABA-A42C611DF1D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06b1e008340f04c1e2c29991be66793881c442d7","datavalue":{"value":{"entity-type":"item","numeric-id":6499416,"id":"Q6499416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$57FB5CF4-EE4A-4E13-AD8D-86B398F84527","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"202a760451fc9759715e7d25d257d6bfd7dc72b3","datavalue":{"value":{"time":"+2025-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7006825$21B41223-02F5-4F1D-BE12-BAD7DE7851FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dec3e81f992fb7bc137ae827a3118e9f15f9997b","datavalue":{"value":"http://www.tac.mta.ca/tac/volumes/43/8/43-08abs.html#vol43","type":"string"},"datatype":"url"},"type":"statement","id":"Q7006825$E00C4FA7-3F33-44F9-8826-00B2858A0FDC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c7a34d7dbfc782b6537bb7c1f6984b9390551ff","datavalue":{"value":"\\textit{F. W. Lawvere}'s elementary theory of the category of sets (ETCS) [Proc. Natl. Acad. Sci. USA 52, 1506--1511 (1964; Zbl 0141.00603); Repr. Theory Appl. Categ. 2005, No. 11, 1--35 (2005; Zbl 1072.18005)] provides an important fragment of a category-theoretic foundation of mathematics, but is strictly weaker than the traditional foundation of mathematics incarnated by Zermelo Fraenkel set theory with the axiom of choice (ZFC). Precisely speaking, ZFC is equiconsistent with ETCS with the axiom schema of replacement [\\textit{G. Osius}, J. Pure Appl. Algebra 4, 79--119 (1974; Zbl 0282.02027)].\\N\\NThis paper proposes a different categorification of ETCS capturing the natural two-dimensional structure of the 2-category of small categories, which is called the elementary theory of the 2-category of small categories (ET2CSC). The main result is that ET2CSC is Morita biequivalent to ETCS, meaning that the two theories have biequivalent 2-categories of models.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006825$A1D1FFFA-5903-4E0D-9504-F4C58D1243F3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$8D3171B1-19B1-433D-AA20-004432228092","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"15b254b0244ba14eae8134dd4e521a82fc9f57e2","datavalue":{"value":"18N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006825$F4D0589C-F61A-49DC-890F-055B721674C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006825$F215FB96-3748-4229-AB2F-779186C3D6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006825$0E4E21BA-EA28-43D2-A27C-DCB432A03E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006825$DE6AA78F-13F0-4841-A2A6-819730BB4174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006825$D479E32F-0A76-48C9-B4C6-D4E5DEFC6A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b4c1aaf38d9266ced8589e7d1692629ce57f9df","datavalue":{"value":"18B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006825$675513AB-ED51-4912-B936-AE57CF691705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8c22951e8e4a76df8a03fefa2b9b6e20876b29aa","datavalue":{"value":"18D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006825$A5F7BFA3-C4DB-45DF-AC3F-6EF021081294","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f88e41b179547de23197545362379f26047d19a","datavalue":{"value":"8017558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006825$B26EA8C1-4137-423D-B848-038C18E1C4BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006825$FC188F37-6D47-488A-8B5F-B2BADC5CDE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdd079b4c7c7b9f1b1f25db41f5e9f7c747c231","datavalue":{"value":"elementary toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006825$A53D0BAE-BC1B-4F3C-BF03-FB9265811126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1043f4dbc762ff47e33be985b1a89a19fce1735b","datavalue":{"value":"internal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006825$FE63D284-26F6-405F-B7A2-BA3794A6A43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17e90e5f8acbe67881a5bb5d47d572cfcea2740","datavalue":{"value":"2-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006825$7079910C-8F8A-4909-8D30-0346D120A770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"205b8c25bae95cb008cac62096ee72778b2ba69c","datavalue":{"value":"elementary theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006825$029819DA-B8AF-433D-8530-8EC2E00641BA","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":"Q7006825$2602AE44-3529-4C0C-899C-F806613FB559","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55d1d81284cd8506edbc429a4cb466d2178f70be","datavalue":{"value":{"entity-type":"item","numeric-id":5679011,"id":"Q5679011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$6E2EFA23-680C-448C-9339-B477CB15BFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d880af0deddc0e47934315c781ea6591b09026","datavalue":{"value":{"entity-type":"item","numeric-id":2436719,"id":"Q2436719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$18D1CB30-5DE4-4E1F-9C11-2F07FB7F9F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47d6183179224bbe53c7a954e5bd996b0e516b14","datavalue":{"value":{"entity-type":"item","numeric-id":2182787,"id":"Q2182787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$4787855A-BFDD-442A-8E27-32AF8528F407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$50809665-879C-4F20-9E98-C415BB015BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e43143f0e7ee6f779f2d7d17250cc387d393bf","datavalue":{"value":{"entity-type":"item","numeric-id":1239361,"id":"Q1239361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$3178E69E-B93F-4249-A808-1B15A23E91F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$46E1CC84-D30A-4F95-B9DC-F0A33A6EA705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4b07246c8d65cf9bb83fb87209d42d1295a3d1","datavalue":{"value":{"entity-type":"item","numeric-id":2552195,"id":"Q2552195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$87EAD8C1-46B3-4FE4-8282-9E5D9F268197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9225a4bdf0c5f5100ebb163799b44b7c14fe7092","datavalue":{"value":{"entity-type":"item","numeric-id":4143487,"id":"Q4143487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$E8757940-CC1A-4491-8E17-5082335E84E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045ab0aeb38b209f13b6f5a37c1d619046f27d51","datavalue":{"value":{"entity-type":"item","numeric-id":4078028,"id":"Q4078028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$D013607C-2B43-45F4-ABD2-C6FE7713BA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1577681878c88a493f32d94aebc93d60fa923c2e","datavalue":{"value":{"entity-type":"item","numeric-id":5605163,"id":"Q5605163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$3ECE5DC2-15B4-4C57-A80E-B64BD751A763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"960d453683ed4d0de7a8f12995e1700dba4ac192","datavalue":{"value":{"entity-type":"item","numeric-id":5335344,"id":"Q5335344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$35587B3A-5218-4B3E-A39C-1DAE6077909B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed80c1318551f5e981bbcff016c2dd5c8a9d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":5701014,"id":"Q5701014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$D985F444-8432-41B6-BD84-1D2B37356C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca77926198eabecd78271696d419264a86e52325","datavalue":{"value":{"entity-type":"item","numeric-id":1713020,"id":"Q1713020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$60AD1D05-9D83-4A37-A83A-F4BFA7AC1D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$C85F4CCD-DF9A-4452-B308-8D70741C062C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017cdeec5597c5da09d5d8104f95fca68d16a05c","datavalue":{"value":{"entity-type":"item","numeric-id":5902220,"id":"Q5902220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$5C72B4ED-006E-4278-8E7D-081EA720C145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac88d519cede88f33d7678462deefb4a0c99ec07","datavalue":{"value":{"entity-type":"item","numeric-id":5645518,"id":"Q5645518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$3DFBCB0F-852C-4596-84B3-A7FC13FA3190","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":"Q7006825$D0780B0C-32CC-4655-8775-F4E85387A6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$33EA3AAF-DDD7-4C23-9DCC-B6A2B31E7E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32a53ea73d2c7717d71f72101e96cd0b649b4234","datavalue":{"value":{"entity-type":"item","numeric-id":3978978,"id":"Q3978978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$AEE979F0-749C-4AEF-A26A-90E8C6D5E1C1","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":"Q7006825$5F8CFA80-1C7D-4ECF-BC88-00A3744C7740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e9eaaaa80a0ca8f9fb93e183a48c2ed7d8cdf2","datavalue":{"value":{"entity-type":"item","numeric-id":3386389,"id":"Q3386389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$84629D40-7E59-4D24-9B09-2DC7FC696477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de827a82002a3453d63ca6ce2c5ee6d9c209ea3d","datavalue":{"value":{"entity-type":"item","numeric-id":5470454,"id":"Q5470454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$82E49B47-99DB-4241-9C35-B911A6B6053C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707b5ac070fb8bc02a181197aa4b08e8edc80bc4","datavalue":{"value":{"entity-type":"item","numeric-id":3400012,"id":"Q3400012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$8FE88D0D-A884-426B-B594-75AD1F4C2F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$13C5E6B8-7F75-487E-BDAA-B6DBA457D19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"172a5b2f4a395c1020b1f2919ab7c10bbe22d90a","datavalue":{"value":{"entity-type":"item","numeric-id":5515355,"id":"Q5515355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$B95C3628-C3F4-46FA-840E-809745766BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770d73cf4787ca9600c37380f13abfc0aee7abcf","datavalue":{"value":{"entity-type":"item","numeric-id":5586435,"id":"Q5586435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$06164F9B-05DC-4550-BBCF-12C78AAE7CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaad38dea622a7c3b5b8920680b2c6b11fc842b9","datavalue":{"value":{"entity-type":"item","numeric-id":2928636,"id":"Q2928636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$E0DC2330-ABD9-4C2F-81E3-ED7A668808D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea8891ad84a2aec608000845a42a128dbfb37a0","datavalue":{"value":{"entity-type":"item","numeric-id":4679166,"id":"Q4679166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$579A9A41-0546-451B-BBA9-53B932B5CCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$36C5E520-70E7-469A-ABDC-FCB890E991D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78bf4bb1b4b5fce88cfea42623c4466dc9906f66","datavalue":{"value":{"entity-type":"item","numeric-id":1917386,"id":"Q1917386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$3921208F-1A6F-486F-81DA-D038923A56DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63eead83a1f6030ac7a2c3ce88e8c75da72567af","datavalue":{"value":{"entity-type":"item","numeric-id":1843432,"id":"Q1843432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$9BADEA48-E2EB-44A4-AAD6-90B29AE0D939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f8adaaa9898db79a28bd0096c4047c7d5f774e","datavalue":{"value":{"entity-type":"item","numeric-id":3977014,"id":"Q3977014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$49627112-439E-4A7F-B49D-C0FE790DDFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd93a203cc6a80f8cc6f3cc14958377a5adafa9e","datavalue":{"value":{"entity-type":"item","numeric-id":2847344,"id":"Q2847344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$51F53F6C-BBB2-4A1D-B8BB-C18CE7E6734E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a52b992a180593fb34922b4a3f1171fb98b17bae","datavalue":{"value":{"entity-type":"item","numeric-id":5077345,"id":"Q5077345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$13DCA090-BCDD-473F-B8CA-77CF95D2CDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d398db1823f8f65b6e0de1539541ea266676db46","datavalue":{"value":{"entity-type":"item","numeric-id":3379615,"id":"Q3379615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$B8F2E627-2C83-46C8-8389-A2CAA1A4CAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe495bb2f790c5b3a640dbf864625c57ad83d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":1229294,"id":"Q1229294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$DCFF0423-4681-4935-B1C9-534F21874054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd9675dd059891581383faa89a7f01fdc6d9cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4175737,"id":"Q4175737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$5602C7B0-2551-415D-A7DA-F1C0FEF6D311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"712e8ce9598d017e3f3d005a523092a89708dfef","datavalue":{"value":{"entity-type":"item","numeric-id":1160709,"id":"Q1160709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$FE4C4038-C8E7-4A8F-BE5B-FB89F79646A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a6c39b8e06ebb9b2c6bb9b382d10b83fdfb6ee","datavalue":{"value":{"entity-type":"item","numeric-id":4088971,"id":"Q4088971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$F7F741F9-ADD4-4878-B22B-0D48DE49CBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e808d133b8eefc8f53421e00131793a6a3e6a75","datavalue":{"value":{"entity-type":"item","numeric-id":2643608,"id":"Q2643608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006825$99289F38-AC95-44FC-8FA5-26CE8D6ECAC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The elementary theory of the 2-category of small categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_elementary_theory_of_the_2-category_of_small_categories"}}}}}