{"entities":{"Q2207273":{"pageid":2218016,"ns":120,"title":"Item:Q2207273","lastrevid":57788247,"modified":"2026-04-02T13:05:40Z","type":"item","id":"Q2207273","labels":{"en":{"language":"en","value":"Homotopical inverse diagrams in categories with attributes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7264669"}},"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":"Q2207273$5B7C40EB-6AD8-4A36-851F-945427AB18F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10be909cfa6550bc1768627d47ff76ca21ce7b62","datavalue":{"value":{"text":"Homotopical inverse diagrams in categories with attributes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2207273$F84F3261-7581-46BE-ABB2-755958299376","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de8c41c7daad28fc7f17ba83f4049d4ff35332f9","datavalue":{"value":"1453.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2207273$8DD104A0-0062-45EF-8963-86726475FEAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848ba680bc4beb5e419f7a7def7b1448b789467a","datavalue":{"value":{"entity-type":"item","numeric-id":1785777,"id":"Q1785777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$FF0A99BE-3D0C-4F36-90E0-C0853A0D5BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49e0837564dfa9a6596ab14ab5ec88f3e83b3911","datavalue":{"value":{"entity-type":"item","numeric-id":1785778,"id":"Q1785778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$C27A03FD-1D71-4C9F-A44D-EC56E259DD15","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":"Q2207273$00B001D4-13BC-4488-8404-FBA4812A8CE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a16f3e5793eadfd5554cc4dcf4f6ff030a67d85f","datavalue":{"value":{"time":"+2020-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2207273$FF9E485D-CD6A-4407-8DF6-010D2416D415","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cc247dce5fee5610e0dde0d393ad420170fd378","datavalue":{"value":"https://arxiv.org/abs/1808.01816","type":"string"},"datatype":"url"},"type":"statement","id":"Q2207273$1F32E05D-22E9-4973-9D96-1C9A5E5090D2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"97ebf8db0c3743e485fca279bec8fee1847d815d","datavalue":{"value":"The present article deals with categories with attributes (CwA). This is one of several categorical formalisms that allow an algebraic treatment of type theories. They constitute a formalism suitable for the treatment of dependent types. CwA's come along with extra structure that is intended to capture the extensions of contexts, so that for a context of variables \\(\\Gamma\\) and a type \\(A\\) in context \\(\\Gamma\\) one can form the context \\(\\Gamma . A\\) allowing for fresh variables of type \\(A\\) to occur. In particular a CwA \\(\\mathcal{C}\\) is a category with terminal object (corresponding to the empty context) equipped with a presheaf \\(Ty \\colon  \\mathcal{C} ^{op} \\to \\mathrm{Set}\\) (types of context \\(\\Gamma \\in \\mathcal{C}\\)) and an assignment, for each type \\(A\\in Ty(\\Gamma),\\) of an object \\(\\Gamma . A \\in \\mathcal{C} \\) and a projection map \\( \\Gamma . A \\to \\Gamma\\) so that, for a change of contexts \\(\\Gamma \\to \\Delta ,\\) an obvious square becomes a pullback.   The authors examine the behaviour of such structures under the formation of the category of diagrams \\(\\mathcal{C} ^\\mathcal{I}\\) for inverse categories  \\(\\mathcal{I}.\\) The latter are categories with the feature that, in the dual category, the relation induced by the existence of a non-identity arrow between two objects, is a well-founded ordering and each object has finitely-many predecessors with respect to it. The category of diagrams is then equipped with a structure of a CwA (this is the content of section 3 of the article). Some natural questions arise in this framework. First, if the CwA \\(\\mathcal{C}\\) carries identity, or \\(\\Sigma\\)- or \\(\\Pi\\)-types, does also  \\(\\mathcal{C} ^\\mathcal{I}\\) do the same? The authors answer affirmatively this question (the answer is section 4 of the article). Secondly, when \\(\\mathcal{C}\\) and \\(\\mathcal{I}\\) have a homotopical structure (meaning here that they both have a distinguished class \\(\\mathcal{W}\\) of morphisms called equivalences, containing the identities and closed under \\(2\\) out of \\(6\\)) do homotopical diagrams (those that take equivalences to equivalences) carry a CwA structure? The authors show that they form a sub-CwA of that of ordinary diagrams (section 5). Moreover it carries identity, \\(\\Sigma\\)- and unit types if \\(\\mathcal{C}\\) does do, while it carries \\(\\Pi\\)-types if \\(\\mathcal{C}\\) does so and all maps in \\(\\mathcal{I}\\) are equivalences (Proposition 5.14). Finally, they give conditions on a functor \\(\\mathcal{J} \\to \\mathcal{I}\\) so that the induced \\(\\mathcal{C} ^\\mathcal{I} \\to \\mathcal{C} ^\\mathcal{J}\\) to be a local fibration or local equivalence in the sense of [\\textit{K. Kapulkin} and \\textit{P. L. Lumsdaine}, Adv. Math. 337, 1--38 (2018; Zbl 1397.18015)]. In particular they show that for a CwA \\(\\mathcal{C},\\) an ordered homotopical discrete opfibration \\(\\mathcal{J} \\to \\mathcal{J}\\) induces contravariantly a local fibration between the respective diagram categories when it is moreover injective, while it induces a local equivalence when it is a homotopical equivalence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2207273$83A57F05-272B-49D6-A990-31F858FB8895","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"38f55c3e3d88463e0567aed375413525c396fe11","datavalue":{"value":{"entity-type":"item","numeric-id":456879,"id":"Q456879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$688C55C3-851F-45A1-BAB5-02839D081F72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2207273$94DD9A80-59C3-4383-B4BE-4D0616807E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2207273$406A6FB2-5688-406D-AF80-D2B1316D3C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2207273$0FAA4876-44D6-4B22-9D61-5A178B7D9D7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e93caba5554b3c79bec4dba518af391242fba10","datavalue":{"value":"7264669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2207273$54548A47-6464-4D44-969F-930D83D39221","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abc58e0f640ffa24c99a44edffbe9e8c6dcbbc68","datavalue":{"value":"categories with attributes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2207273$6F292368-46B8-4739-8186-6D41A089BFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de70d4cdee42284a894b47756b851a590da31736","datavalue":{"value":"homotopical inverse diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2207273$BE56C27B-F44B-4BAF-ABDC-0B76A34FCA72","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b69ae52d53a05f3f4bf4d99cc0f83e03b73ae561","datavalue":{"value":{"entity-type":"item","numeric-id":27033,"id":"Q27033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$5D31629C-0E0C-41CC-9560-FE965E63015D","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":"Q2207273$10C0BDC3-57A7-4072-A354-E1D9EC8AF76F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dff4facbb7db533ed6e42007bcdfedc50d65f638","datavalue":{"value":"W3084104479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2207273$9D9B9057-8C75-433C-B4AF-57711C8F7164","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb11ca869a89cccb65ea9cceb6fc53bca68454eb","datavalue":{"value":{"entity-type":"item","numeric-id":1785779,"id":"Q1785779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$6CD04A26-1122-43F0-8A18-69AC0EF46332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703f24f0ddf8e9723982d67cc6c8ac78262ad4b9","datavalue":{"value":{"entity-type":"item","numeric-id":5657402,"id":"Q5657402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$9791013F-1D38-49A0-B73F-320749B1FF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472fe6e79b503d14429d15ec73a6169d7420ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$FBA34D10-32C2-4000-B089-52793C26CD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82b1878adb750555f15a80d08f147c60e0fbb1d","datavalue":{"value":{"entity-type":"item","numeric-id":959823,"id":"Q959823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$EF0D7ED9-09D8-492E-A9AC-FF8D3E2EB94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e334f51175391aa489ad19ee69f9b684c7888f","datavalue":{"value":{"entity-type":"item","numeric-id":3079518,"id":"Q3079518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$6282D6C5-B62D-4BAE-AF4E-ACAB407C2B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$185EE89D-74EA-4E8A-835B-E9C585D3F19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49862011e061c40f77cd7e82e87d964c5d5edab7","datavalue":{"value":{"entity-type":"item","numeric-id":3395310,"id":"Q3395310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$A6FDE5B1-81F0-4C47-98F5-EEA3FA77E304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d72847ba30608d201d25872d3eec4b60481b02","datavalue":{"value":{"entity-type":"item","numeric-id":5740649,"id":"Q5740649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$A6F0F20F-BB4F-4C6C-8747-B580989D2699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc1fa5800ca5560d601e4658e9879f0a20ebb35","datavalue":{"value":{"entity-type":"item","numeric-id":1024547,"id":"Q1024547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$42B161D4-181D-41D6-AA72-5FD366A59D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a283f6beb98075fee57b6325bcdf6dfd5d181a1","datavalue":{"value":{"entity-type":"item","numeric-id":4679165,"id":"Q4679165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$A4628C0C-4A1D-456F-82CB-2FA1EAC7F5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$D14A380E-23D0-4D7A-A910-5262406C0CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f2dcf02c4d56cb0c9b220656b328ac54c111bf","datavalue":{"value":{"entity-type":"item","numeric-id":3160254,"id":"Q3160254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$388D5BED-8BCE-468F-9F29-2E8DBFB30076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dc7e7dfb9b0a66e2e2665020866623a717a807","datavalue":{"value":{"entity-type":"item","numeric-id":2326422,"id":"Q2326422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$A36A0163-5D35-474C-BD7B-39942125312D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b7f7f274eb6713b62fe2f0ba801e1bbcfcfa90","datavalue":{"value":{"entity-type":"item","numeric-id":2957763,"id":"Q2957763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207273$0A5BC427-9570-4AAE-9038-7A7563EBBDD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c02191c59ec55ddd149dc1bc687a8e9d5d35f26f","datavalue":{"value":"10.1016/J.JPAA.2020.106563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2207273$F3DD1B5B-CE44-4354-A3AF-9CE5C329FA40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c33c176c1af02c7c955a44f3b4740fff785fa1","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff892bc01cc2ba3e37dbafd81fe53409b5752e3","datavalue":{"value":{"amount":"+0.8035184144973755","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":"Q2207273$245D3485-DBFE-4AC4-8081-5382CFD56160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40773519de63e86e147fd9f6b23041c33b3c0773","datavalue":{"value":{"entity-type":"item","numeric-id":1689738,"id":"Q1689738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11d0e51a508be1705a24a263237659635ad6e4d","datavalue":{"value":{"amount":"+0.787537693977356","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":"Q2207273$B2FD45D4-3A65-4557-8A2F-2D71FF1B8FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78b3c47873abd755402e2604bc3fa96c4373859","datavalue":{"value":{"entity-type":"item","numeric-id":3130300,"id":"Q3130300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e1612432420c119946889c57e3910635b187f2","datavalue":{"value":{"amount":"+0.7859346866607666","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":"Q2207273$60316BC9-7EC2-403E-946B-8C15B8CAE09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fd4751c9ac8497d5ed97b554e8d5a721e4341c","datavalue":{"value":{"entity-type":"item","numeric-id":1785779,"id":"Q1785779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac20c3fda9415ab50cbc926887d442970012b137","datavalue":{"value":{"amount":"+0.7667255997657776","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":"Q2207273$A1FAC390-C8BD-4D76-A87F-F9DF2E336505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0526d2de6ea50db5116bfab90728355ff84bb1","datavalue":{"value":{"entity-type":"item","numeric-id":4961720,"id":"Q4961720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c69e246010c717a5acf847ec281283be6456f67","datavalue":{"value":{"amount":"+0.761415421962738","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":"Q2207273$C2895BFB-464D-4C57-82DF-915C378D3EF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2207273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2207273"}}}}}