{"entities":{"Q6885487":{"pageid":20809465,"ns":120,"title":"Item:Q6885487","lastrevid":84205472,"modified":"2026-05-13T14:06:51Z","type":"item","id":"Q6885487","labels":{"en":{"language":"en","value":"Note on delay-inverse systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8135637"}},"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":"Q6885487$827AAEBC-E9D8-4539-A99B-69E1ACCB9837","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca349d555e1c77036f8869e718c52ece5c87cbf1","datavalue":{"value":{"text":"Note on delay-inverse systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6885487$066D6110-8157-4332-B726-C2DA71F79B48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6aafd8da236d694f23a5aaa1ae5c1b4429039f77","datavalue":{"value":"10.1016/J.TOPOL.2025.109628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6885487$99763155-134C-4ED8-A23A-62B5329809E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"682daebcccb2d1ce7d2820c4639de344c8d3476c","datavalue":{"value":{"entity-type":"item","numeric-id":346987,"id":"Q346987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885487$34F53F4B-004C-43A0-844C-DDAFD7B964F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885487$B80CB3D9-77D5-44D3-9C17-FCBF5DAFE4C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f32bfe4ba7afb873ef35f92b92900c6d69592a81","datavalue":{"value":{"time":"+2025-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6885487$23A6D915-88FB-4241-A07E-CC4F4468006A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d0165d30dbfed1585bc8e8bf238c6c95c6510271","datavalue":{"value":"Fix a category \\(\\mathcal{C}\\). An inverse system \\((X_a,p_{aa'},(A,\\preceq))\\) in \\(\\mathcal{C}\\) consists of an indexing set \\(A\\), a relation \\(\\preceq\\) on \\(A\\) that is pre-ordered and directed, for each \\(a\\in A\\), a coordinate object \\(X_a\\) in \\(\\mathrm{Obj}(\\mathcal{C})\\) is assigned, and whenever \\((a,a')\\in A^2\\) and \\(a\\preceq a'\\), a bonding morphism \\(p_{aa'}:X_{a'}\\to X_a\\) in \\(\\mathcal{C}\\) such that for all \\(a\\in A\\), \\(p_{aa}=\\mathrm{id}:X_a\\to X_a\\). It is further required that\\N\\N\\((*)\\) whenever \\((a,a',a'')\\in A^3\\) and \\(a\\preceq a'\\preceq a''\\), then \\(p_{aa''}=p_{aa'}\\circ p_{a'a''}:X_{a''}\\to X_a\\).\\N\\NIn [\\textit{V. Matijevi\u0107} and \\textit{L. R. Rubin}, Topology Appl. 348, Article ID 108891, 26 p. (2024; Zbl 1541.54008)], the authors introduced a generalization of an inverse system called a delay-inverse system. The only difference between an inverse system and a delay-inverse system is that \\((*)\\) is replaced by,\\N\\N\\((**)\\) for all \\(a\\in A\\), there exists \\(a_0\\in A\\), \\(a\\preceq a_0\\), such that for all \\((a',a'')\\in A^2\\) with \\(a_0\\preceq a'\\preceq a''\\), \\(p_{aa''}= p_{aa'}\\circ p_{a'a''}:X_{a''}\\to X_a\\).\\N\\NIn Section 2, the author remarks that in some preliminary notes of the authors V. Matijevi\u0107 and L. Rubin mentioned above, the notion of a category, denoted \\(\\mathrm{Dpro}\\)-\\(\\mathcal{C}\\), of delay-inverse systems was put forth. It is stated that the category \\(\\mathrm{pro}\\)-\\(\\mathcal{C}\\) of inverse systems [\\textit{S. Marde\u0161i\u0107} and \\textit{J. Segal}, Shape theory. The inverse system approach. Amsterdam - New York - Oxford: North-Holland Publishing Company (1982; Zbl 0495.55001)] then is a subcategory of \\(\\mathrm{Dpro}\\)-\\(\\mathcal{C}\\). Based on that idea, Proposition 1 of Section 3 can be stated.\\N\\N\\textbf{Proposition 1.} For every \\(\\mathbf{X}\\in\\mathrm{Obj}(\\mathrm{Dpro}\\)-\\(\\mathcal{C})\\) and any cofinal subset \\(A'\\subset A\\), the system \\(\\mathbf{X}'\\) where \\((A,\\preceq)\\) is replaced by \\((A',\\preceq)\\), also lies in \\(\\mathrm{Obj}(\\mathrm{Dpro}\\)-\\(\\mathcal{C})\\) and is isomorphic to \\(\\mathbf{X}\\) via what is called a restriction morphism.\\N\\NThe next result from Section 3 is a version of what is sometimes called the ``Marde\u0161i\u0107 Trick.''\\N\\N\\textbf{Proposition 2.} Every \\(\\mathbf{X}\\in\\mathrm{Obj}(\\mathrm{Dpro}\\)-\\(\\mathcal{C})\\) is isomorphic in \\(\\mathrm{Dpro}\\)-\\(\\mathcal{C}\\) to an element \\(\\mathbf{Y}\\in\\mathrm{Obj}(\\mathrm{Dpro}\\)-\\(\\mathcal{C})\\) whose indexing set \\((B,\\preceq_1)\\) is cofinite, \\(\\mathrm{card}(B)\\leq\\mathrm{card}(A)\\), each coordinate object of \\(\\mathbf{Y}\\) is also a coordinate object of \\(\\mathbf{X}\\), and each bonding morphism of \\(\\mathbf{Y}\\) is also a bonding morphism of \\(\\mathbf{X}\\).\\N\\NSeveral additional technical results are also accomplished in Section 3, but we shall not list them here. They are needed in preparation for Section 4, the last section of the paper. Here are two of the main results from it.\\N\\N\\textbf{Theorem 1.} Every \\(\\mathbf{X}\\in\\mathrm{Obj}(\\mathrm{Dpro}\\)-\\(\\mathcal{C})\\) is isomorphic in \\(\\mathrm{Dpro}\\)-\\(\\mathcal{C}\\) to an element \\(\\mathbf{Y}\\in\\mathrm{Obj}(\\mathrm{pro}\\)-\\(\\mathcal{C})\\) (hence \\(\\mathbf{Y}\\) is an inverse system) where each coordinate object of \\(\\mathbf{Y}\\) is also a coordinate object of \\(\\mathbf{X}\\), and each bonding morphism of \\(\\mathbf{Y}\\) is also a bonding morphism of \\(\\mathbf{X}\\). Moreover, if the indexing set of \\(\\mathbf{X}\\) is countable, then one can choose the the indexing set of \\(\\mathbf{Y}\\) in such a manner that \\(\\mathbf{Y}\\) is a subsystem of \\(\\mathbf{X}\\).\\N\\N\\textbf{Theorem 2.} Let \\(\\{\\mathbf{X},\\mathbf{Y}\\}\\subset\\mathrm{Obj}(\\mathrm{pro}\\)-\\(\\mathcal{C})\\). If \\(\\mathbf{X}\\) and \\(\\mathbf{Y}\\) are isomorphic in \\(\\mathrm{Dpro}\\)-\\(\\mathcal{C}\\), then they are isomorphic in \\(\\mathrm{pro}\\)-\\(\\mathcal{C}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6885487$6B3E44E0-9C76-4BC7-9F30-43FB19D213EB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1fb07df68ae3429ed2deefdfbc67e544cf9dda59","datavalue":{"value":{"entity-type":"item","numeric-id":860496,"id":"Q860496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885487$1ADFECB2-DD79-4A96-AE02-D0655E9B36E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a612eadf52305c7a285a0bf279d7340472d693","datavalue":{"value":"54B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6885487$4DE45D6E-AF48-4E4E-8A2E-E9152F1D421B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d46483da74a1e1d254662e0d4a87936d7d31bbf","datavalue":{"value":"8135637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6885487$2970FE78-4FFD-4D7A-96EB-7EAE60AC2A3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a51da2905bdba578a7e4ae07513608630cb896","datavalue":{"value":"category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6885487$B90E6CAD-258F-438A-9B60-4CA671F7DF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fa00d0aa97e540d9bcd1ba3ebddb155292dfa86","datavalue":{"value":"delay-inverse system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6885487$F70AABC8-AB6C-49D9-BB50-496F13A0CB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23670a671466c8ca5696d171aceb3320815b6066","datavalue":{"value":"uncountable cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q6885487$F3E4745D-CDCB-44C9-8982-96F61829CB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60bcef45ca3e1c8116e0b0250e3f5969905a4539","datavalue":{"value":"delay-pro-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6885487$A930475C-45A3-430F-BCE1-6458383F7BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c448c35e63ead7b62b671372954db2292df0fce","datavalue":{"value":"preordered)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6885487$1BE24673-84C5-40F3-8B20-0B29C23DA144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee30d6b75e6505efa57c313bef118da9864d8438","datavalue":{"value":"directed (ordered","type":"string"},"datatype":"string"},"type":"statement","id":"Q6885487$9FA971DD-2A2F-4586-82EE-B2674EFC1F20","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":"Q6885487$99F92898-E23F-4682-981A-A76401413490","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a441ffcbaae801c76a20cf9569b246225e79cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5682456,"id":"Q5682456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885487$27CA0E2A-1956-4431-9025-BEE6779BEA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d201b6a2878fd856e73a842c400a854fe38f0","datavalue":{"value":{"entity-type":"item","numeric-id":5813687,"id":"Q5813687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885487$003DF560-9FAD-4754-AB62-7B4AC4873D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff221fe17e29b8ea7c25b6d1fb5faa5f6521dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3959112,"id":"Q3959112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885487$C6821863-6FD3-4E72-B461-1ADAE50C7685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d24c83fb326621645e4aaf13cc6bae139c7a81","datavalue":{"value":{"entity-type":"item","numeric-id":6128892,"id":"Q6128892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885487$70AFEB01-6712-4298-A895-DCD41C3BCDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e6c77877cd43e3b1e9110ab159883512bc5fbe3","datavalue":{"value":{"entity-type":"item","numeric-id":5445945,"id":"Q5445945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885487$855D2A41-D75E-4509-8CA2-E2EAD4B3282D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Note on delay-inverse systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Note_on_delay-inverse_systems"}}}}}