{"entities":{"Q1588081":{"pageid":1598821,"ns":120,"title":"Item:Q1588081","lastrevid":72263400,"modified":"2026-04-14T03:43:50Z","type":"item","id":"Q1588081","labels":{"en":{"language":"en","value":"The petit topos of globular sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538813"}},"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":"Q1588081$72ECC82D-7271-4CD6-B7C5-736C79B0B36A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02b5597389727171055c473e4f4bbeb5262148dc","datavalue":{"value":{"text":"The petit topos of globular sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1588081$FEF754A2-6DE2-4501-9F36-91C6211FBB68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80c2ffa33d229522f87b6ffba6c1c110b975e12f","datavalue":{"value":"0963.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588081$5EBC600A-7F25-4505-B66A-0D523B092568","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0e8a00692a70b0b82f63b8a548e92ed18c07c84","datavalue":{"value":"10.1016/S0022-4049(99)00183-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588081$DAC45234-9C3F-4607-9CF3-CAA27DF5AE23","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":"Q1588081$507D3FB6-1547-439C-A8BE-F09E015A1541","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06eab7b8fdb4da09120309408d2523975ca56178","datavalue":{"value":{"time":"+2001-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1588081$7F26F0DE-213C-4164-8628-FFA5E47F6EA1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ae3db5d11e826ee0b00c51d4bb914a41b982302f","datavalue":{"value":"There are now various competing definitions of `weak higher-dimensional category' in the literature; it is not yet clear which of them is destined to become standard, but it is certainly time to begin examining their structure and their interrelations. The present paper is a contribution to that programme: in it, the author observes that several of the definitions make use of concepts relating to globular sets, and that some of these concepts may be explained in terms of internal category theory in the topos of globular sets. In particular, he shows that higher trees in the sense of \\textit{M. Batanin} may be viewed as `generalized natural numbers' in this topos.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1588081$4BDEE82D-5AA8-4BF5-8A4D-CEA0F251BEEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588081$F976102A-070C-4994-B5AF-1D0E0832B781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588081$7F720C5A-F874-49DE-A1F7-6F5E237B2FDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74992d95dd789dfb3f51aea4306136540bfc969b","datavalue":{"value":"1538813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588081$332E3228-A9A2-4801-BDB7-FAFEA7136892","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a40e78a2a7c9848486cc36eb081ffb1bfd1725ca","datavalue":{"value":"weak higher-dimensional category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1588081$C86DAA61-7FE6-421B-AB3B-6D9425F77465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2642b50e1a646315496665d1c22943e6472240e3","datavalue":{"value":"globular sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1588081$0C9F7C11-E566-4959-91F8-649E6AE6D81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abf08b6764a14eae345ced0fd5c86bd81b689086","datavalue":{"value":"internal category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1588081$58C1FA87-D0BC-487A-99A2-520389BCF424","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"14e3aaf5e6d34b4a39f5e8e60daf05f66662a763","datavalue":{"value":"Q56687276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588081$EA1148F9-77D0-48D5-95EC-52FA8F6C749B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf71b35b2a24503a8c5f23b3f5e8e561a546a830","datavalue":{"value":{"entity-type":"item","numeric-id":590398,"id":"Q590398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588081$94F715E3-8B75-41E7-939A-EF87941A4E63","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9596d005c29801249c01b9d1288aea39b7db279d","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588081$C6B4E8E3-C31B-402F-931C-260D137E5DB3","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":"Q1588081$75EEB135-B649-4316-8332-5DE54E4E2273","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f232788c1284c721f20ce7311229d354e476f157","datavalue":{"value":{"entity-type":"item","numeric-id":1267982,"id":"Q1267982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588081$A596FF09-DA9D-4B5C-90E4-35A87AE87835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59fb1f45c77427e6b47c5c663b2bc3b37a3c5be","datavalue":{"value":{"entity-type":"item","numeric-id":1269468,"id":"Q1269468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588081$9656C896-8865-4E58-B964-E51F92AFB928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3339b72462c8e071e96683a0249c53c0d6493264","datavalue":{"value":{"entity-type":"item","numeric-id":1588060,"id":"Q1588060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588081$44819021-964A-439D-B06D-66EDED415D83","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":"Q1588081$A62D2F06-AA51-444F-A685-EA6AD9335BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51668948d0a4712465fa6a9192157dfba8d6ef03","datavalue":{"value":{"entity-type":"item","numeric-id":5931436,"id":"Q5931436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588081$F278E51C-57B0-45C3-80EC-D08AA4580935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd91dd124cee42cd9e77668a24424a2fc21c6dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3752561,"id":"Q3752561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588081$037934F2-8519-4F3E-B74C-1580B3FF1030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588081$74A6707F-FE5F-43E6-8DB7-EA3484CFA872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263e4e52980e74a6e44646b2026736e1a969b507","datavalue":{"value":{"entity-type":"item","numeric-id":3792857,"id":"Q3792857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588081$AE716666-932F-48D5-8F97-512C0B5BFB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba4fa8f04da2f5b3a37a2786a05541e85a91a40","datavalue":{"value":{"entity-type":"item","numeric-id":3829701,"id":"Q3829701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588081$9EFEE816-B2F2-41AA-AFA6-C9A17B487CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"244979f7fae4316c340bbdf55c8dfc1b758a0030","datavalue":{"value":{"entity-type":"item","numeric-id":2554903,"id":"Q2554903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588081$A25A6D70-11D7-452F-A3AA-86B68DF283D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf3030e8e11ce902fda27f8db4a377ab45d97141","datavalue":{"value":{"entity-type":"item","numeric-id":5665322,"id":"Q5665322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588081$49B70397-95C3-4517-9537-C2365B22513A","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":"Q1588081$737A4C7E-0E29-46B9-A9A6-FE201DDCC975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21fd8e9fab2205355f3a7d8e81ea116d6a8242d","datavalue":{"value":{"entity-type":"item","numeric-id":1156868,"id":"Q1156868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588081$20EFADE2-7ED9-4A44-89B3-768F84F66D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbede8ded3667dd7eb8b4ab0a0709f3996d50a60","datavalue":{"value":{"entity-type":"item","numeric-id":3994019,"id":"Q3994019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588081$540FD592-19C8-444C-A5A1-C6BB27B06A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03a0681693b274c149c0001767bc6e257483a5f","datavalue":{"value":{"entity-type":"item","numeric-id":4250404,"id":"Q4250404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588081$4C2F051A-CBAB-43CD-927B-45514F5679E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe31419c2782b754e1c0d7b28f35431522013ba","datavalue":{"value":{"entity-type":"item","numeric-id":1255083,"id":"Q1255083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588081$A1EB3B62-05DB-4B57-B73B-0D184BFCF66A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db413497a6b31c039a0e97af59d7cb9337e0a6c5","datavalue":{"value":{"entity-type":"item","numeric-id":1588075,"id":"Q1588075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85bc5494fad5e0eee730a73122f12dce325c222d","datavalue":{"value":{"amount":"+0.7927062511444092","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":"Q1588081$62E881A7-9E15-477B-84CA-51527D359DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f83f223bda59e2881c91f0ec6558855a038ce4","datavalue":{"value":{"entity-type":"item","numeric-id":1269468,"id":"Q1269468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85bc5494fad5e0eee730a73122f12dce325c222d","datavalue":{"value":{"amount":"+0.7927062511444092","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":"Q1588081$DEB4491A-BE7A-4DA4-8A7D-E52A21E2A4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ebdcaf5820eab0ac28c8dd7503ec6601c34b1e","datavalue":{"value":{"entity-type":"item","numeric-id":1588060,"id":"Q1588060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fdb031fc88dced2153b5bfe66cb817acf4bd857","datavalue":{"value":{"amount":"+0.7844653129577637","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":"Q1588081$D9B35C35-AB41-4857-8CAA-2DA4E0762238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cb82efa9a5acde2c737744793d3fad94e6580ea","datavalue":{"value":{"entity-type":"item","numeric-id":3156479,"id":"Q3156479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a3d2b6627fe1c84c05a1fd9e824be0a0c92a33","datavalue":{"value":{"amount":"+0.7837756872177124","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":"Q1588081$474ABB89-285A-4573-B7B7-6E9807C482C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03785e138c98dcafe7143960208b630d31300330","datavalue":{"value":{"entity-type":"item","numeric-id":5931436,"id":"Q5931436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25b33e1185a9a0ac03a5fc4847108eb4cd6dcdf","datavalue":{"value":{"amount":"+0.7729288935661316","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":"Q1588081$916CEA4B-D1C0-429A-AAFB-2538EF2CDB03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The petit topos of globular sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_petit_topos_of_globular_sets"}}}}}