{"entities":{"Q1321040":{"pageid":1331790,"ns":120,"title":"Item:Q1321040","lastrevid":70133460,"modified":"2026-04-13T12:40:04Z","type":"item","id":"Q1321040","labels":{"en":{"language":"en","value":"Concrete full embeddings into categories of algebras and coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 561563"}},"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":"Q1321040$38622735-7BB4-42BF-A1EE-1DEBFAA66481","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"996d79fb8cdabce17bac7e042378cea3acf2aba4","datavalue":{"value":{"text":"Concrete full embeddings into categories of algebras and coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1321040$DA9471A3-506E-421E-A7BA-2B16AD7D5044","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5eeb14b12a80d8fc6533fd40be218bfdb9ab68e1","datavalue":{"value":"0794.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1321040$557E1655-C4A4-4383-B94D-BCB60BCD8E6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c060d44a7a33506cbd454d395014dd75ec923ca","datavalue":{"value":"10.1016/0022-4049(94)90022-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1321040$13E482AB-1598-4229-838F-5A86D85137D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df3dd90bf8150cc86ec6cf068d061afde632f05e","datavalue":{"value":{"entity-type":"item","numeric-id":913813,"id":"Q913813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1321040$300EFFC0-765C-480D-AD01-B9C7C8ABA7F9","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":"Q1321040$51DB6C65-48A3-4F87-B374-6039230A689D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8241ce0b1bfd14f1a976e02b943f8ceddf61248b","datavalue":{"value":{"time":"+1994-08-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":"Q1321040$C52BDBF9-EFB7-4FA8-8BD7-3FF42DB252E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"250ecd580f31b4a68e8dc31fcca08abd12ddb7e7","datavalue":{"value":"A full embedding \\({F}\\) from a concrete category \\({\\mathfrak K}\\) into a concrete category \\({\\mathfrak L}\\) is called a realization if \\({F}\\) preserves underlying sets and mappings. For set functors \\({F}\\), \\({G}\\) define a category \\({\\mathfrak A}(F,G)\\) whose objects are pairs \\((X\\), \\(\\varphi\\colon FX\\to GX)\\) and morphisms from \\((X\\), \\(\\varphi\\colon FX\\to GX)\\) to \\((Y\\), \\(\\psi\\colon FY\\to GY)\\) are all mappings \\(f\\colon X\\to Y\\) with \\(Gf\\circ \\varphi= \\psi\\circ Ff\\). A concrete category \\({\\mathfrak K}\\) has a realization in \\({\\mathfrak A}(F,G)\\) for some set functors \\({F}\\) and \\({G}\\) if and only if \\({\\mathfrak K}\\) is strongly small fibred and satisfies the zig-zag condition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1321040$27B0E68F-6F5B-4E0D-9087-B1924D8FF685","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1321040$AE0E8DFB-8876-48BD-B8C1-730F9FA22687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8948c34e793e5195a8bf306d0e010b3472404866","datavalue":{"value":"08A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1321040$7E68288B-B227-4DFD-A099-0D7F7A6D361C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6ae499ed8578a3945c81f7e661f717b0ffc2be2","datavalue":{"value":"561563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1321040$835A17B2-6E77-44E1-B94C-9D5D6EA3A323","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7ecb515575dc5f8c77a456ed7ef1147ad602a6c","datavalue":{"value":"generalized algebraic category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1321040$6DF68DD3-74D7-419A-BFEA-8713207AF25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfe3f3ec722d155d8cbda47557c55135de5faf2","datavalue":{"value":"full embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1321040$F4BED397-1630-49CF-9F19-6F1E2C9DEB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2621250bd74fa9d372b129ddae4483e7ecda8fb7","datavalue":{"value":"concrete category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1321040$63D0E1EC-9CDE-407C-9B28-D1612A57D5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a9a0754c61c2d20c50a0e72e3c2e0595f8b37ca","datavalue":{"value":"set functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1321040$4F0A4E41-E873-4B38-B1E0-975FB84D8F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b355c8a4174d6d8394d7bf240c24bc9a0be14b8","datavalue":{"value":"realization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1321040$5E3CCCE2-765F-447C-B54D-E8D918653013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e692963e457fe6bdd69063b1bf349b2916451ad","datavalue":{"value":"zig-zag condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1321040$A8D576AE-50F1-48A9-B297-344EB09C5F9F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1321040$099D8D53-3986-4B06-9B98-A90035F7BCC5","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":"Q1321040$6C221C18-9AA5-4C93-8898-AA08EAC57A6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45771a01c7735818b29b71a152af264b919c3126","datavalue":{"value":"https://doi.org/10.1016/0022-4049(94)90022-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1321040$A07937E4-512D-4B54-927B-8B673A0109ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd4d10b311f65cc5ad5810473415ebf7d306cae9","datavalue":{"value":"W1966970061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1321040$9811352F-2FE2-40B4-8390-F4C074469631","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1321040$96CA6FE2-A15D-41C5-8C67-79B8910D37B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23d2186eee06bf83f524a70461cf781eb7579a3","datavalue":{"value":{"entity-type":"item","numeric-id":5569554,"id":"Q5569554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1321040$7D8F65B7-BF6E-49D2-9C86-F0D3B4BA3A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c662645361c0d1b33b44c6668eee818942243e","datavalue":{"value":{"entity-type":"item","numeric-id":5589330,"id":"Q5589330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1321040$A56EA302-F6DE-4B90-BAAD-F5F899403C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc8c02be5a11400673d6157787b6e4939e89071","datavalue":{"value":{"entity-type":"item","numeric-id":1196781,"id":"Q1196781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1321040$C677E49E-844C-42A4-9B5B-A4904185B9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a0cdd19d62d09596c52f654437ccd78ecaa8a59","datavalue":{"value":{"entity-type":"item","numeric-id":3979114,"id":"Q3979114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1321040$544D2DAD-A0D1-4DAC-AFC9-F64F762C1DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb4ee53d9e645c7e539170fa2227fa9288d299b0","datavalue":{"value":{"entity-type":"item","numeric-id":5599864,"id":"Q5599864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1321040$10CF063D-17BB-4F30-A2ED-478F2F01A02C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e551061b59e305c195eb8e950eab605edb47404","datavalue":{"value":{"entity-type":"item","numeric-id":4723930,"id":"Q4723930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8fdb5746f7b0b6ebbc626e2893ab98083af2daf","datavalue":{"value":{"amount":"+0.7752710580825806","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":"Q1321040$C1B6D4B2-D94D-492F-9F75-C90812192338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8fb44d70d65338d8761277ba5c7b1085c96bbf","datavalue":{"value":{"entity-type":"item","numeric-id":5387594,"id":"Q5387594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d92773a6b9504deb7ae0043dfd6cecf10c3741da","datavalue":{"value":{"amount":"+0.7749117612838745","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":"Q1321040$CC9E6387-CD05-4C92-BC13-61C9D41B3123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a98bfb9f229e1afa796a7d9901db1c2683f47e08","datavalue":{"value":{"entity-type":"item","numeric-id":3801755,"id":"Q3801755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a5b3d6e91568ae7bfb21e020f5d806ace10c45","datavalue":{"value":{"amount":"+0.7617844343185425","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":"Q1321040$90170EEA-BEE8-4F22-894D-C1F5CDF63629","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":"3e729ac9d4265f8553624317c6ee9340e2768892","datavalue":{"value":{"amount":"+0.7602694630622864","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":"Q1321040$F04E6852-6F1D-44B9-8547-7D77050B3687","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Concrete full embeddings into categories of algebras and coalgebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Concrete_full_embeddings_into_categories_of_algebras_and_coalgebras"}}}}}