{"entities":{"Q2131818":{"pageid":2142561,"ns":120,"title":"Item:Q2131818","lastrevid":54306443,"modified":"2026-01-26T14:54:37Z","type":"item","id":"Q2131818","labels":{"en":{"language":"en","value":"A characterization of proper morphisms by the lifting property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7514751"}},"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":"Q2131818$54F147D8-7B84-4542-8235-4105332ECD62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71d9e491d7522d10a771430b2cc2a128f7fc4cb3","datavalue":{"value":{"text":"A characterization of proper morphisms by the lifting property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2131818$2A57A2ED-73B6-4B12-B416-E5AEC2EA2411","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03bb97b6675e5f586f2f6bff3aeb66e3627f218d","datavalue":{"value":"1498.54017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2131818$8AA7C5DC-D861-414B-AC9E-877B82C3FDCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6baec8c832f22199b95b2ecb862e5dbb9513dfa4","datavalue":{"value":{"entity-type":"item","numeric-id":272872,"id":"Q272872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2131818$CD2C330F-1842-49B3-A767-F01163F305D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e15f6975c5c43915a6b873072d60fe61b21e45cd","datavalue":{"value":{"entity-type":"item","numeric-id":404410,"id":"Q404410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2131818$F35C98B4-ED62-4E22-9C22-8CB36E5369DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2396877c773ac21ed31ed9b5e0b51f29640e2cf8","datavalue":{"value":{"entity-type":"item","numeric-id":2131817,"id":"Q2131817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2131818$6C9F4F5B-E3CB-456A-926E-9D6490660626","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":"Q2131818$61A250DC-263E-4948-BBAD-EDD3BDBD16FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb92150f4e7ba6ad94427d659f8564387023a05a","datavalue":{"value":{"time":"+2022-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2131818$BFA94B7A-538E-4471-8B32-CFA4A967F87F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dbf81b219d111f617122dd35463dd87d6cafae9e","datavalue":{"value":"This paper gives a characterization of proper maps with regular domain by means of a categorical lifting property.  Recall that a map \\(f:X\\to Y\\) is proper if \\(f\\) is closed and for each \\(y\\in Y\\), \\(f^{-1}(y)\\) is compact.  First the authors prove some lemmata, notations as given in the text.  \\textbf{Lemma 3.1.} \\((\\{a\\leftrightarrow b\\}\\longrightarrow\\{a=b\\})^{l}\\) is the class of injections.  \\textbf{Lemma 3.2.} \\((\\{a\\searrow b\\}\\longrightarrow\\{a=b\\})^{l}\\) is the class of maps \\(f:X\\to Y\\) such that the topology on \\(X\\) is induced from \\(Y\\).  \\textbf{Lemma 3.3.} \\((\\{b\\}\\longrightarrow\\{a\\searrow b\\})^{l}\\) is the class of maps with dense image.  \\textbf{Lemma 3.4.} \\((\\{a\\swarrow c\\searrow b\\}\\longrightarrow\\{a=c=b\\})^{l}\\) is the class of maps \\(f:X\\to Y\\) such that for any \\(A,B\\subseteq X\\) disjoint closed subsets, we have that \\(\\overline{f(A)}\\cap \\overline{f(B)}=\\emptyset.\\)  The authors prove the following results.  \\textbf{Proposition 3.6.} Let \\(X\\) be a finite topological space and let \\(f:X\\to Y\\) be a continuous function. Then \\(f\\) is a proper map if and only if \\(f\\in(\\{a\\}\\longrightarrow\\{a\\searrow b\\})^{r}.\\)  \\textbf{Theorem 3.8.} Let \\(X\\) and \\(Y\\) be topological spaces with \\(X\\) a regular space. Then, \\(f:X\\to Y\\) is a proper map if and only if \\(f\\in((\\{a\\}\\longrightarrow\\{a\\searrow b\\})^{r}_{<5})^{lr}.\\)  This last theorem gives a partial answer to a conjecture by \\textit{M. Gavrilovich} [``The unreasonable power of the lifting property in elementary mathematics'', Preprint, \\url{arXiv:1707.06615}].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2131818$F6EFBC1C-F81F-4DAC-B588-2432B59FC2C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2131818$E165740D-1F87-4B06-837E-834BAB885660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5f9f9fdc01eced40a1042148c42cf5fd19eced2","datavalue":{"value":"54C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2131818$27AEC706-7B90-4DF5-93E3-33EE6BA987A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d594712b08c5b078d82458af9336fcf91cce9154","datavalue":{"value":"54C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2131818$E0FBE032-6CCF-4CA1-84E7-1BC253F4456A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"806ed643291d1bbc0ef6b83da1f563c09304b4dd","datavalue":{"value":"7514751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2131818$087470B4-8B60-49B1-BD33-B4203DC2AB04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e190cd3e108b7a358174540d7901fc662cd97fb","datavalue":{"value":"lifting property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2131818$8180CCAF-E6A7-41FD-A098-EDE1C7C4D0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc52107eae4f3a883bdb60996233b6da7c80365","datavalue":{"value":"orthogonality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2131818$02AD768E-9BEC-4602-A4C1-E201A031B819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1704a9f9b6159172922b9a0238c2a7c5b85676","datavalue":{"value":"proper map","type":"string"},"datatype":"string"},"type":"statement","id":"Q2131818$837FEC2D-70A1-4D64-9E55-1DF847543B46","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2853c251e9359bf82087c42c70b8ab4d83b18f54","datavalue":{"value":{"entity-type":"item","numeric-id":590597,"id":"Q590597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2131818$B8D76A53-40C1-4B95-9EC4-6208A9420575","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":"Q2131818$373CFE1B-EAD4-4D93-AF64-524131376411","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c41aa6fa7306a0869bf62545fde6af9ffd882e3a","datavalue":{"value":"https://doi.org/10.1016/j.topol.2022.108087","type":"string"},"datatype":"url"},"type":"statement","id":"Q2131818$ADDA8191-02ED-4F8C-8022-A94B55A3F149","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"835c9844a18351368e354aeaba7081a91f3a8c10","datavalue":{"value":"W4220930588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2131818$AE1A9125-A9D2-4387-B6BD-D05FAB80CAD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b00a92b4e0f4a6f2c10346ae58f94938b1b4077","datavalue":{"value":{"entity-type":"item","numeric-id":5522002,"id":"Q5522002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2131818$676A3C24-B6F0-4284-B8B0-5BA20D7653D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2131818$A72F0D72-7581-4BC5-BF9E-9CBA97D32974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87bddde29bfca28d16e9dc4550d316d312b44fe","datavalue":{"value":{"entity-type":"item","numeric-id":3249210,"id":"Q3249210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2131818$A71DE647-6DF7-44BC-B49B-C2B4D8900DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2131818$060AEECA-50B4-409B-97DD-9B0B4BAEACEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a79fad678f967c6528bd2993b5707c57ab0cbd1","datavalue":{"value":{"entity-type":"item","numeric-id":2530658,"id":"Q2530658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2131818$180D6285-275A-4941-A3FD-2123A6329B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d641bba807c86410d5e88afe2e9755c22da10311","datavalue":{"value":{"entity-type":"item","numeric-id":5814442,"id":"Q5814442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2131818$28040FE0-59EB-44CC-8772-59040FE7AE86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65e00e512be57272d80c052c4a4ab3f963f20bf3","datavalue":{"value":"10.1016/J.TOPOL.2022.108087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2131818$8FC77543-A709-4D59-8567-0B367E1DC740","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55496bebeab7613652c0880a326a1c88c04c9754","datavalue":{"value":{"entity-type":"item","numeric-id":3485589,"id":"Q3485589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf79ea5e59dd4fc1a7e19c7d44bad6a6a66d330e","datavalue":{"value":{"amount":"+0.7770754098892212","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":"Q2131818$65422723-6A54-4341-9A80-845DF4570D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78afdb38d57b5ee830f29588e299ddbe723ccc6","datavalue":{"value":{"entity-type":"item","numeric-id":4833954,"id":"Q4833954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fddf0c39f44e8f276e9c14c8b22e10cdbd61cedf","datavalue":{"value":{"amount":"+0.7653923034667969","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":"Q2131818$E647DBD7-BF31-4CF1-8FFB-D2009FF85FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09a27e746e1e5e16058ad6644e4b78bc5c95aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2869041,"id":"Q2869041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39513bce10c1e5dd273dbdd1bbe2829baf757bac","datavalue":{"value":{"amount":"+0.7653918862342834","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":"Q2131818$343EF7DB-93D4-45B8-9745-84DF7785DE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a424bb73141344b20edf191ebaca61b83b77ea","datavalue":{"value":{"entity-type":"item","numeric-id":535359,"id":"Q535359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed506a467cc5898e7cb24ed412efb6ca9ff8ef19","datavalue":{"value":{"amount":"+0.756739616394043","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":"Q2131818$27F39043-CEFB-4546-B46E-B7CB584BF64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6724e0a1fdbc206c4c477ee24533a7b4beca5d","datavalue":{"value":{"entity-type":"item","numeric-id":3198508,"id":"Q3198508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5146244c3464e394bf23b64a629febd7cdb3b24","datavalue":{"value":{"amount":"+0.7466261982917786","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":"Q2131818$0F57C3DA-0567-4E6C-9010-902435C65DD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2131818","badges":[]}}}}}