{"entities":{"Q43933":{"pageid":43989,"ns":120,"title":"Item:Q43933","lastrevid":105428264,"modified":"2026-10-09T10:09:25Z","type":"item","id":"Q43933","labels":{"en":{"language":"en","value":"AxiomaticCategoryTheory"}},"descriptions":{"en":{"language":"en","value":"AFP entry AxiomaticCategoryTheory"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"cc9aa3eaa68f0130611fd533e16caabdc7957bc1","datavalue":{"value":"32222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43933$2AFCCEE9-5C2A-44D2-A1AB-6026B79A90E4","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$F43850AA-A702-4FCC-8901-CD2DB37F8E4C","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"b507114e6b72c0c9411233af9269d6b6fbcccfb9","datavalue":{"value":"https://www.isa-afp.org/entries/AxiomaticCategoryTheory.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43933$F939D4A5-E148-4A52-BCB3-866DB2D6A789","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43933$7D4CAEF5-D03C-471B-946F-F2C1FF1B8C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43933$E2187905-DF50-4A53-9D87-C96488408597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43933$B86E713C-7610-40A7-B9FE-F5D6AC7FE371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43933$01F932C7-2AFA-4ADB-8CA1-A11FCD62E031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e6992288898c4b84d0375236ed98d3bb5559a8c","datavalue":{"value":"18.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43933$6379BC31-4118-4964-9971-85F3ED717FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43933$3C7C873C-D911-4D17-A07C-8D0B899107CA","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"346bb06feebe5eec8261e483309d0da7485c1091","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$B3878A6A-C7B1-44D3-9DFF-7169E2BE3978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"239ac5c0327af3346b2f92ef805aaafc618ec12b","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$55B41C54-CFC7-47AA-BB3A-2D66E0653EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6d29b9e294eea1a26ce05a4d8663847cfc55575","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$D236B451-79C9-452F-BC0A-69B10DE5DEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$D8283CCB-C7A8-4E92-8B82-D856FE513AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$32A7F7E6-46B9-4577-BA3B-85C9237DF650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$73F7B379-B31E-4907-A0F0-26AE3088C744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1da83e82f563b21e91a419cb34e11d3be154209f","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$EFE050C0-E5B4-4B7E-9F7F-55A693FBC528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"817975c02c8ce01b01af750dd195a00518294803","datavalue":{"value":{"entity-type":"item","numeric-id":30355,"id":"Q30355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$0C6BB00F-65E4-4B5C-8EB4-109AE316C4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"85d5a2bfb7e5cd7e1dfb166523d6500a685410a1","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$028D58CC-6E75-4C2C-BBC4-507E48C82CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$FC5D216F-DCCE-41AD-A2BB-DEA5E6883682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2fd4f2f31989858180fba533a04e1a60c8d16377","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$1D3B65A1-563C-4901-AD47-3848894E5866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$8235AA91-52C5-4052-AC4F-F1A2C4018FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$FB7C52F1-6162-4716-A379-18F84C390CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"be349a9c602ac7f46103617ce9f8f7a751e64df6","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$50B1ACD6-9461-4B36-8AEF-7058907C3F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$C13D2F92-8FC4-4970-894F-04D6EC4A04BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87159adb24653ae101476a0442733b3c25df3740","datavalue":{"value":"https://isa-afp.org/entries/AxiomaticCategoryTheory.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43933$BE4A27CE-6B05-4D4C-B851-C9A901169412","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"c02d9ad114c3bd598ff935febd6964e2e7a5f3eb","datavalue":{"value":"Christoph Benzm\u00fcller","type":"string"},"datatype":"string"},"type":"statement","id":"Q43933$D7F40A91-11A7-4E3C-AE5D-4DBB57C79AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"0afb7c2198ec290ce5a989870fd29f32383afde9","datavalue":{"value":"Dana Scott","type":"string"},"datatype":"string"},"type":"statement","id":"Q43933$B2837225-06F4-4A75-9FB2-6BD0B2289652","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6512c6c575415d945d8d6c7c3fff2a19e43c57d6","datavalue":{"value":"This document provides a concise overview on the core results of our previous work on the exploration of axioms systems for category theory. Extending the previous studies (http://arxiv.org/abs/1609.01493) we include one further axiomatic theory in our experiments. This additional theory has been suggested by Mac Lane in 1948. We show that the axioms proposed by Mac Lane are equivalent to the ones we studied before, which includes an axioms set suggested by Scott in the 1970s and another axioms set proposed by Freyd and Scedrov in 1990, which we slightly modified to remedy a minor technical issue.","type":"string"},"datatype":"string"},"type":"statement","id":"Q43933$FF7E650A-9749-4097-BC1B-8AEF84FA774C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbacccb69feaa544f1db3f76f439a42bd7b8d12f","datavalue":{"value":{"time":"+2018-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q43933$68E4F04C-2935-42B6-B981-D8A8C569E56E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76b757e2971ab40c19f41d9b493f5b4b0eafef29","datavalue":{"value":{"text":"Axiom Systems for Category Theory in Free Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q43933$45B02187-1CC8-46F4-B545-CF98D1FADC82","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$29B59887-8C03-496F-A414-6CE9D934F2AA","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"572089e83311a7b04b56c3ffe6d7a11baed7d211","datavalue":{"value":{"entity-type":"item","numeric-id":7360823,"id":"Q7360823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43933$1FDED8AB-2534-4012-BB19-D48D32ECEB7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"AxiomaticCategoryTheory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/AxiomaticCategoryTheory"}}}}}