{"entities":{"Q1087977":{"pageid":1098729,"ns":120,"title":"Item:Q1087977","lastrevid":69612558,"modified":"2026-04-13T08:12:09Z","type":"item","id":"Q1087977","labels":{"en":{"language":"en","value":"On nets of free polygons over a category and their categories of homomorphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3989613"}},"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":"Q1087977$2C606B0D-0E6C-44CD-AAA2-EBF23A2D4644","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aabfe11e42e1782e40f1666c1867fd942176d594","datavalue":{"value":{"text":"On nets of free polygons over a category and their categories of homomorphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1087977$E407D2CB-01D1-47C0-A5E0-7E711E6C33ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"341d2885e5702f91353404208ed805c491311777","datavalue":{"value":"0612.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087977$67DFF55D-9C7D-4B4F-A80B-C6A66600BCD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcf622d4faaaf9eb501926768589cf6bc6e37689","datavalue":{"value":{"entity-type":"item","numeric-id":213743,"id":"Q213743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087977$7D927794-7CE4-4770-BCFB-8AF2E38582C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1087977$2D4D3812-2A1D-4208-8509-197AEE82FD69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66e98930a6d9f99fc13199cf54759a2be17776fc","datavalue":{"value":"https://eudml.org/doc/138358","type":"string"},"datatype":"url"},"type":"statement","id":"Q1087977$B12180E8-BF69-4F4E-B997-8C6EC6A284D8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"84b28e972e3db32641bbf98e0925b520c49fb3b0","datavalue":{"value":"Let \\(I\\) be a nonempty set and \\(J\\subseteq I^ 2\\) a reflexive and transitive relation. A family \\(A=(I,J,A^ j_ i,\\cdot,e_ i)\\) is called a category over a graph \\((I,J)\\) if    1) \\(\\{A^ j_ i |\\) \\((i,j)\\in J\\}\\) is a set of pairwise disjunct nonempty sets;    2) \\(\\cdot\\) is a partial associative binary operation such that for any elements \\(a\\in A^ j_ i\\) and \\(b\\in A^ k_ j\\) we have \\(a\\cdot b\\in A^ k_ i ;\\)    3) \\(e_ i\\in A^ i_ i\\), \\(i\\in I\\) are elements such that \\(a\\cdot e_ i=a\\), \\(e_ i\\cdot b=b\\) for all \\(a\\in A^ i_ k\\), \\(b\\in A_ i^{\\ell}\\), \\((k,i),(i,\\ell)\\in J.\\)    A family \\((I,M_ i)\\) is called a left act over the category A if    1) \\(\\{M_ i |\\) \\(i\\in I\\}\\) is a set of pairwise disjunct nonempty sets;    2) for any \\(x\\in M_ i\\) and \\(a\\in A^ i_ j\\), (j,i)\\(\\in J\\), a multiplication \\(ax\\in M_ j\\) is defined such that \\(e_ ix=x\\) and \\(b(ax)=(ba)x\\) for all \\(b\\in A^ j_ k\\), \\((k,j)\\in J\\) (there are some index-misprints in the paper).    Let \\(E\\subseteq I\\) be an nonempty subset. The family \\(P=\\{P_ i\\), \\(i\\in E\\), \\(P_ i\\subseteq M_ i\\}\\) is called a system of generators for M, if for any \\(j\\in I\\), \\(x\\in M_ j\\), there exists \\(i\\in E\\), \\((j,i)\\in J\\), \\(y\\in P_ i\\), \\(a\\in A^ i_ j\\) such that \\(x=ay.\\)    Let \\(L\\subseteq K^ 2\\) be a reflexive and transitive relation on a set K. The triple \\(M=(K,L,M_ k)\\) is said to be a net of A-acts over the graph (K,L), if to each element \\(k\\in K\\) there corresponds an A-act \\(M_ k\\) and for any pair (k,\\(\\ell)\\in L\\) there exists a homomorphism \\(f: M_ k\\to M_{\\ell}\\) of A-acts.    It is proved that for a net M the family \\(H=(K,L,H_ k^{\\ell},\\cdot,d(M_ k))\\) is a category, called the category of homomorphisms of the net M, where \\(H_ k^{\\ell}\\) is the set of all homomorphisms of the A-act \\(M_ k\\) to the A-act \\(M_{\\ell}\\), \\((k,\\ell)\\in L\\), and \\(d(M_ k)\\) the identical mapping of \\(M_ k\\), \\(k\\in K.\\)    The main task of the paper is an investigation of the categories of homomorphisms of nets of free A-acts. The author proves the following:    Theorem. Let a category A and a net M of free A-acts \\(M_ k=(M_{ki}\\); \\(i\\in I)\\) with systems of free generators \\(P_ k=\\{P_{ki}\\); \\(i\\in E_ k\\), \\(P_{ki}\\subseteq M_{ki}\\}\\) be given. Then its category of homomorphisms H is isomorphic to the category \\(F=(K,L,F_ k^{\\ell},\\cdot,(d_ k,d(\\tilde P_ k)))\\), defined by the net \\((K,L,\\tilde P_ k)\\) of expanded sets where \\(\\tilde P_ k=\\cup_{i\\in E_ k}P_{ki}.\\)    As a corollary one gets the well-known fact that if \\({}_ SM\\) is a free S-act with a basis \\(X\\), then End\\((_ SM)\\) is isomorphic to the wreath product on monoids \\(P(X)\\) and \\(S\\), where \\(P(X)\\) denotes the monoid of mappings of \\(X\\) into \\(X\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087977$1B740A27-5356-46CF-9311-93C11EC09AAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087977$D70471E8-4705-464B-9BB8-C6718AC77AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087977$4DE0687B-267D-4B36-9E85-0230F53F2916","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d391b7768998344e1060a8b682b14c190701e64","datavalue":{"value":"3989613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087977$6D080385-085F-4CC1-AD46-425FA454DC03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02f88140f68fe9cc81a60da21301d57b03f1488","datavalue":{"value":"free acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087977$6F989E64-BE05-47EF-A735-12123DDB8D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"839ab336dabca60f53cbaa9f4c57cdacedbbd2ac","datavalue":{"value":"act over category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087977$13C7E4BA-4D02-46EF-A7AC-067459A98217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a06c47cc928a427b253359c361d9c5f6f67dfb2e","datavalue":{"value":"net of acts over graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087977$3E4191FF-D346-4AE2-822F-4AA4DE52F49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a07f2b7df5070611ae0ed3ac38f0571e7940006","datavalue":{"value":"category over a graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087977$BCEB9C97-94E5-4E28-BC73-28989C681111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa686ca1f11a0093d57956e3c435fad6f3ea40f4","datavalue":{"value":"system of generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087977$81CA5A73-1220-4C99-AF47-5F21570F41F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eea35886f254d08cd9c15398087bbf9a52dce02","datavalue":{"value":"homomorphisms of nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087977$DA4EC487-7275-466F-AFDA-8C81F2E44E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83aef2d7f29c0d09bd14e484f7b2687f82fc164d","datavalue":{"value":"wreath product on monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087977$27564951-8F1D-4559-8575-04A7629BD362","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65ed9400018a1d2e2271f42fb6787d04e65550a4","datavalue":{"value":{"entity-type":"item","numeric-id":2549713,"id":"Q2549713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087977$EB906F5D-C1DF-4000-8B81-A4103AFE8212","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087977$F2DB5BA4-C0C9-4885-9C3A-42930A881486","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":"Q1087977$28C638B3-86F5-4B4D-9818-09B1B26BFCBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aab6b4f3eade65bed25ddb166bfe64a47743d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1971007,"id":"Q1971007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62cef8c0c8cf39cbb5ce4fde15641b1ea5e32635","datavalue":{"value":{"amount":"+0.7500526309013367","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":"Q1087977$6315C7FE-7F80-4E87-B80C-B1861217FD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b70b419001c9fc689bd61b6287010383986204","datavalue":{"value":{"entity-type":"item","numeric-id":1592940,"id":"Q1592940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62cef8c0c8cf39cbb5ce4fde15641b1ea5e32635","datavalue":{"value":{"amount":"+0.7500526309013367","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":"Q1087977$B93D58ED-FBF9-4716-B297-3AAF90CFFC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6f1aebae440693352455bb854c9f1cd0208babe","datavalue":{"value":{"entity-type":"item","numeric-id":4297727,"id":"Q4297727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e468aa6cc96a4e8e154bf8402bc445f424f0f0c","datavalue":{"value":{"amount":"+0.7459381818771362","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":"Q1087977$5893EADB-B19A-436B-AC97-D4F0A64FCFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3943aa0840d402a3a3cf9458e810b15e1c7dcad4","datavalue":{"value":{"entity-type":"item","numeric-id":4723970,"id":"Q4723970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e468aa6cc96a4e8e154bf8402bc445f424f0f0c","datavalue":{"value":{"amount":"+0.7459381818771362","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":"Q1087977$78ED0B4A-32D5-4D59-A684-DCBDA2543AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c77ed0a67da213943e6de3f9321ccd246b7d2c","datavalue":{"value":{"entity-type":"item","numeric-id":3788213,"id":"Q3788213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0593617997fc6ee2299cfaf49a88219bae5fef0e","datavalue":{"value":{"amount":"+0.7448253631591797","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":"Q1087977$A3CE188A-406D-4F0A-B404-13623EEF7CF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On nets of free polygons over a category and their categories of homomorphisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_nets_of_free_polygons_over_a_category_and_their_categories_of_homomorphisms"}}}}}