{"entities":{"Q1273637":{"pageid":1284387,"ns":120,"title":"Item:Q1273637","lastrevid":70045029,"modified":"2026-04-13T12:04:06Z","type":"item","id":"Q1273637","labels":{"en":{"language":"en","value":"On full and faithful Kan extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1236097"}},"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":"Q1273637$2D3BB947-B046-43A1-A71A-8F5584994EE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2642532bc73606bf34e633b0c43a9a1bddb775d7","datavalue":{"value":{"text":"On full and faithful Kan extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1273637$413687A3-37DB-4F59-BBEF-C3E5463E2F75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62e68b04328a5238fca30d2667913464ab4f8799","datavalue":{"value":"0914.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273637$5D4B8E1B-D7BA-459E-B368-1CB0E78E6E02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf316e158102ff53e22f841fe6f0c1ae16f37586","datavalue":{"value":"10.1023/A:1008681922458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273637$03FA392D-1B4F-4552-A929-2C2C3E639842","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273637$A6F82098-1A20-4837-B49A-D76E39505507","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4fd76f28a7ec651ebe2d29dd0e43caa67395ec6","datavalue":{"value":{"time":"+1999-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1273637$3F9AE4D4-6EC8-49D2-8891-D8AB9BB94E95","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"28a9c74a904a72661fd883d6f0f81fc186d7479b","datavalue":{"value":"This paper substantially extends the conceptual apparatus of universal (alg-universal, strongly universal) categories as by \\textit{A. Pultr} and \\textit{V. Trnkov\u00e1} [``Combinatorial, algebraic and topological representations of groups, semigroups and categories'', North-Holland, Amsterdam (1980; Zbl 0418.18004)]. Most of the embeddings of concrete categories (over \\({\\mathcal S}ets\\)) constructed in universality theory are Kan extensions of their restrictions to some small left adequate subcategory of their domains; this provides the title and a pervasive theme of the paper. It is not practical to explain fully any of the eight results labelled `theorem', but the gist of theorem 5.11 is that given a concrete category \\(U:{\\mathcal K}\\to{\\mathcal S}ets\\) with a factorization system \\(({\\mathcal E, \\mathcal M})\\) that \\(U\\) respects, and a suitable left adequate subcategory \\(\\mathcal A\\) of \\(\\mathcal K\\) and strong embedding \\(F\\) of \\(\\mathcal A\\) in a variety of algebras \\(\\mathcal V\\), and mild cardinality conditions, then the Kan \\(\\mathcal M\\)-extension (defined in section 2 of this paper) of \\(F\\) over \\(\\mathcal K\\) is a strong embedding.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273637$F5386DDE-86C4-49D9-940F-32123CFBA8CD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ecf4216cad559830178acf03a6652fd82611ab37","datavalue":{"value":{"entity-type":"item","numeric-id":1066374,"id":"Q1066374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273637$5BE6FDDC-7B50-4E4A-BFC8-46F94039F46A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273637$FA3E477C-88DC-494B-B059-8F523C061108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273637$73B0A54C-2E8D-4272-B4AD-3E1C9A365730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75484c80d9d7796f91ec4ecc61de5292e9b71a14","datavalue":{"value":"18A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273637$9FD3D9FB-3597-4D08-AE98-4D4FCB9836CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e04eab59f74e9570ed57de19d86300ca286a53ef","datavalue":{"value":"18A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273637$C44EBCFE-D983-4D6E-80EA-F55B7167FD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac53b3d8ea831a008f6edc0617972e2b6304397","datavalue":{"value":"18A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273637$AC838C04-3F16-4CDF-97B8-E0FD189C99D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11572a67ad5209a7cb201cb57ee0cc0d4eea477e","datavalue":{"value":"1236097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273637$8D488C9A-D30F-411A-B376-62E9564858AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816e19bb7f6362b1045edf130e6c2b2074c26040","datavalue":{"value":"Kan extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273637$36A89224-396F-4BC3-8FF3-04FB392BB284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b638cd247bc623b682e351c8c97efd0006f0830f","datavalue":{"value":"factorization system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273637$84BB613F-1A59-4ADA-860D-643E77641C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfe3f3ec722d155d8cbda47557c55135de5faf2","datavalue":{"value":"full embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273637$373E640A-602A-45AA-9E2C-640B7360BA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0585c76a10ab1a3ee182feb66ec388e8972142f","datavalue":{"value":"universal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273637$0875A848-B298-42F8-A08D-ECC3E21D4906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0253c57ff9bf990e921e427d2c6bfe23cb63e46","datavalue":{"value":"variety of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273637$EFD154D3-A3A2-4A31-9349-110A2DD7C61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19420ecf083ad2fd03e4855fb4a877f48b851a36","datavalue":{"value":"colimit of an \\(\\alpha\\)-directed diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273637$D7464DAB-C703-4C95-9E48-243A845BCA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcbc0467f0f536b717001b7dac39f6810d82178a","datavalue":{"value":"locally \\(\\alpha\\)-presentable category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273637$406E3B7E-F895-4DF2-8236-C77E39C76CF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"764f84a646c763434432ad369d0bc1a8abdf96a9","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273637$CA3EAE98-2C84-4ED8-8580-A4DC7FFB8FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d12c6860773e4b7465f098c35b7f1d608a627517","datavalue":{"value":{"entity-type":"item","numeric-id":409253,"id":"Q409253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273637$91B8ED06-7F70-4189-9378-88AFBF4993B9","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":"Q1273637$0750E69B-1D48-4609-914E-B55C9B6F19BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dffcfa43cb47396206264c3e8f445847dad8d30","datavalue":{"value":"https://doi.org/10.1023/a:1008681922458","type":"string"},"datatype":"url"},"type":"statement","id":"Q1273637$35E2D0DA-32AD-479D-8611-9D209F5070A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5560d012f416e4ca79499155afea94b297bc6c18","datavalue":{"value":"W1531408721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273637$DC20AFC0-5EDA-4D70-BAC5-4270C97A0649","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c22275ec20d9805f31ba4499aa009837bb55e732","datavalue":{"value":{"entity-type":"item","numeric-id":995376,"id":"Q995376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4a978b3727eb196f986985f55609a7f4230207","datavalue":{"value":{"amount":"+0.7452687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273637$3C614AC6-C580-4339-B394-2677562B4986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18886b8171975be5b6270c9ce83d57ef590f67f1","datavalue":{"value":{"entity-type":"item","numeric-id":3164468,"id":"Q3164468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49379199e745e8e5f811453e5399be86d2489e69","datavalue":{"value":{"amount":"+0.74188817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273637$E2FF6904-28A2-4E40-B14A-69B58D2C002C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d279184544cb5dce955455235d3a4b44b49475","datavalue":{"value":{"entity-type":"item","numeric-id":3139900,"id":"Q3139900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b95209b3d1f4224c7c18ed0af656b5fc9992034","datavalue":{"value":{"amount":"+0.72792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273637$31A797C5-B1A1-4A3E-87CA-68510F4ABC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4046fc77d967891ef979803e304e42f47d237db","datavalue":{"value":{"entity-type":"item","numeric-id":4323078,"id":"Q4323078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c2b46072412773d68714fe21197cf5e309dea2","datavalue":{"value":{"amount":"+0.726623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273637$A5A69927-6A39-41F7-8B69-A5DCFA916E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b14ac3931842365cb49462fe460d4ed5a065930","datavalue":{"value":{"entity-type":"item","numeric-id":607458,"id":"Q607458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84bdf18417fbc529decb01937053fa73b9ec568","datavalue":{"value":{"amount":"+0.7249561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273637$78EE1ED8-E5AE-40A7-BC22-0B1A0F7AC499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0711a725ffde715fac1a950401990cd6cb1daf68","datavalue":{"value":{"entity-type":"item","numeric-id":633806,"id":"Q633806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf654e27b784b3077f8c2e04df0c96ac09ce77f9","datavalue":{"value":{"amount":"+0.7229167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273637$6542433C-B8F3-44E9-BD65-5C1040223E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"799d8110d25650f18f1c2c0b80260f9f28ab31c7","datavalue":{"value":{"entity-type":"item","numeric-id":3338414,"id":"Q3338414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dce5fea6e61003759b14777f0da9fd3c4f91e9c9","datavalue":{"value":{"amount":"+0.71988934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273637$C3109F30-069A-4931-BC5A-779BE228816A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff33056b3b5c9350898332e763ff500cea34993e","datavalue":{"value":{"entity-type":"item","numeric-id":5956931,"id":"Q5956931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc9ed9c5555f4ccc2540ccebf8fad72b19aeaf45","datavalue":{"value":{"amount":"+0.71755636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273637$D7F31F1F-6232-4829-A072-96B43EA9136B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c55ce67ab4891dca56d8624dabaef153e98a323","datavalue":{"value":{"entity-type":"item","numeric-id":995628,"id":"Q995628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1168dd3a772b6a8b204a43dacd61b89120451d80","datavalue":{"value":{"amount":"+0.7171902","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273637$C521C1AA-1B6D-4B96-BF16-981E24658BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"168ad596e57e0d6e925e784521b274db790f958d","datavalue":{"value":{"entity-type":"item","numeric-id":3490173,"id":"Q3490173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4020a0ecf5c5e6560f22fc2a80c78fe0b9f98f4e","datavalue":{"value":{"amount":"+0.70839477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273637$20412AB2-A701-449A-AEA5-DCF447782E3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On full and faithful Kan extensions","badges":[]}}}}}