{"entities":{"Q1208195":{"pageid":1218944,"ns":120,"title":"Item:Q1208195","lastrevid":66352257,"modified":"2026-04-12T09:31:20Z","type":"item","id":"Q1208195","labels":{"en":{"language":"en","value":"Algebraically compact functors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 166144"}},"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":"Q1208195$8A4EC268-AA6F-4864-94F3-DDACAE6A964F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"867a462ced6bbce0e2b87e0b2706a90a9f54ba37","datavalue":{"value":{"text":"Algebraically compact functors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208195$09C2601B-4E46-4D2A-A45B-611D7CE3A6DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd3db535e30af5eb40a74cecb37bea7bf2b1a2d2","datavalue":{"value":"0777.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208195$0863B539-201B-4F18-98D3-CC8539446DF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29b3aacb6ffd33b281626f2666bb2e3fa289c13f","datavalue":{"value":"10.1016/0022-4049(92)90169-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208195$F2AB9868-1D60-425B-8811-FB2B3235AC99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98927fdef2ca764d37388c9b78c07b1c49fd21c5","datavalue":{"value":{"entity-type":"item","numeric-id":599897,"id":"Q599897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208195$4B79FF60-24FF-4744-95B4-3C80D95CB714","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":"Q1208195$53A2BC5C-2702-4647-AF5B-12ECAD6BE74B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1208195$E7AC7C60-C2B0-49FE-A964-62E28A38443D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e21b863ce96658383b6b0551aa0b982cd0d56c49","datavalue":{"value":"Let \\(\\mathbb{C}\\) be a category and \\(T\\) be an endofunctor on \\(\\mathbb{C}\\). There is a canonical morphism in \\(\\mathbb{C}\\) from an initial \\(T\\)-algebra to a terminal \\(T\\)-coalgebra. The functor \\(T\\) is said to be algebraically compact if this morphism is an isomorphism. A class \\(\\mathcal T\\) of endofunctors on \\(\\mathbb{C}\\) is said to be algebraically compact if every \\(T\\in{\\mathcal T}\\) is algebraically compact, and is said to be conditionally algebraically compact if every functor \\(T\\in{\\mathcal T}\\) that has a fixed object \\(C\\) (i.e. \\(TC\\simeq C)\\) is algebraically compact. The category \\(\\mathbb{C}\\) is said to be algebraically compact (resp. conditionally algebraically compact) if \\({\\mathcal T}=\\text{End}(\\mathbb{C})\\) is. The paper gives a construction by transfinite induction of an initial \\(T\\)-algebra, a terminal \\(T\\)- coalgebra, and the canonical morphism. It builds up elaborate examples of algebraic compactness of categories such as: \\(\\mathbb{P} \\mathbb{M}\\) of sets and partial injections, \\(\\mathbb{H}\\) of Hilbert spaces, \\(\\mathbb{C} \\mathbb{P} \\mathbb{O}\\) of partially ordered sets with directed sups, and categories enriched over \\(\\mathbb{C} \\mathbb{P} \\mathbb{O}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208195$1D30C235-5F4C-425D-B160-C1A3FA3D1AFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea9528584418a6ec9fe52282119ea36bf7d92b18","datavalue":{"value":"18C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208195$EFF9657C-98FA-4689-9DD3-C80E0296D0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75484c80d9d7796f91ec4ecc61de5292e9b71a14","datavalue":{"value":"18A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208195$AAD7C672-3FCA-4D48-84B9-DDF93A36DD14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81c09e2042f1139056287e3df3132d01e491754b","datavalue":{"value":"166144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208195$B2AACA9D-743D-4743-96A7-D02E41586AD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdaa40505e267383a42ddb7b65fc36281b169b8e","datavalue":{"value":"cpo","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208195$4A251074-942C-4587-8259-EC12757156E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91f95b30892a255369c74d426d6c9942830ae85e","datavalue":{"value":"endofunctor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208195$3D897A2E-FAFC-4995-A1B9-36A2D69EAD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ed08cdfbe361d3c866db515e8e36c15bee5430d","datavalue":{"value":"canonical morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208195$C3139B81-1550-4D8B-A58A-382091D940BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae085ab6845efc6d9a37111b9485fca8e9c0a82","datavalue":{"value":"initial \\(T\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208195$E4E3024C-BE3D-406A-8D5C-90C73BD27676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a76d8fdbff14da75869965ddec42f2eb550527d","datavalue":{"value":"terminal \\(T\\)- coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208195$B44941FA-BC16-4707-80E1-8C04C07F171D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208195$8530575A-5E6A-4025-AA95-872D84722754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14895de0d06f950e17b1b67ae4e17d15b6c7092a","datavalue":{"value":"algebraic compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208195$C2AAA6FF-C633-45C6-8949-D518276E26EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da84d0b6e5ba721b8453170727749243e11839a3","datavalue":{"value":"partial injections","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208195$7F8C870F-2827-4E33-8821-03661FACB9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7362be7da45606107241c507af50d712722be6f","datavalue":{"value":"Hilbert spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208195$3397F43C-82D5-4C5E-9167-22AB07FE2D78","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5f23a2b26154ae1e4026bd6fa194d4b76df2fa47","datavalue":{"value":{"entity-type":"item","numeric-id":171472,"id":"Q171472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208195$309BD843-1511-4821-ACDE-94A00E6997AE","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":"Q1208195$399AD248-3CFF-48CD-B612-A720A6940329","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737bb7041f959ae208ab6e9161d86ecc874dad1a","datavalue":{"value":{"entity-type":"item","numeric-id":753945,"id":"Q753945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208195$AC6B076D-E655-469A-8598-628AFC3BD36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208195$C3713E12-992D-44D5-B211-4E87D9F921BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208195$233C8952-44AA-4027-9F02-9D6DB9B98A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc01a7c1d4284c0d8396b974fad821755307f3f0","datavalue":{"value":{"entity-type":"item","numeric-id":1211109,"id":"Q1211109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208195$B73D8629-AAEA-42F2-B108-607F5FF1C6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fee693ed63de795908d9ea9b39d5124d8fc52c","datavalue":{"value":{"entity-type":"item","numeric-id":3978971,"id":"Q3978971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208195$A2E4A137-3847-4426-AFAD-EC3562F80C00","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":"Q1208195$24361C8B-EEC0-4165-ADD9-DBBB21733AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208195$414F2BDA-7211-4718-B394-24FB279DDEA9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5302ed0c9ed99be4ebcbe17277e1e7178513c74e","datavalue":{"value":"Q127764105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208195$CACB0B07-A83B-4C8A-8A99-3CDC27D17682","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612a85171387a3fda8fad21f44addb369090e0c2","datavalue":{"value":{"entity-type":"item","numeric-id":3138538,"id":"Q3138538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bdbb8a0f699ec37d0a4d40ac6d8b80b6cdaaca4","datavalue":{"value":{"amount":"+0.8509210348129272","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":"Q1208195$D60DBCE9-218B-4682-9C84-52FC94C9C8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95598febc17448db1238cea5cf5ed01914df81a3","datavalue":{"value":{"entity-type":"item","numeric-id":5009709,"id":"Q5009709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7d5a639ae015eae8cc82d63856d4905d4f194b","datavalue":{"value":{"amount":"+0.8484988212585449","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":"Q1208195$A90BDBAA-2221-4BB0-9198-1A76F1621B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78428830d2d3ffb78406bc88cf88cbd0efd09dbd","datavalue":{"value":{"entity-type":"item","numeric-id":3978971,"id":"Q3978971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e84f98f255ef33a23c732e1c2df4d5245b7a18a","datavalue":{"value":{"amount":"+0.8312546610832214","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":"Q1208195$82B809BC-7276-4E40-A358-242428FAFEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf6b4e75b82138237221c5e3d4987695fe5b362","datavalue":{"value":{"entity-type":"item","numeric-id":1892884,"id":"Q1892884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9998cebc1c587584823877f9ec1aa7b8522043","datavalue":{"value":{"amount":"+0.7951185703277588","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":"Q1208195$E146210C-BDC0-49AB-8DE4-A642FA711F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d8691107a3a2f3a454117fc68e2b9637b65d598","datavalue":{"value":{"entity-type":"item","numeric-id":4818651,"id":"Q4818651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806354461ae5ec5430a681db1052423f6f81aa06","datavalue":{"value":{"amount":"+0.7679170370101929","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":"Q1208195$5D906579-413D-4349-8C9A-0F59C0CECC93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraically compact functors","badges":[]}}}}}