{"entities":{"Q7361014":{"pageid":31518581,"ns":120,"title":"Item:Q7361014","lastrevid":105362405,"modified":"2026-10-07T13:34:12Z","type":"item","id":"Q7361014","labels":{"en":{"language":"en","value":"Enriched Category Basics"}},"descriptions":{"en":{"language":"en","value":"AFP entry EnrichedCategoryBasics"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14881444397ac9c105ce5b280d77d9589dc53d0d","datavalue":{"value":"https://isa-afp.org/entries/EnrichedCategoryBasics.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361014$5278D8D6-296B-4D24-AC86-571BBDDE458E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1988f39a1019f87e6c9715f2877ab6ad4878c1e","datavalue":{"value":{"time":"+2024-06-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":"Q7361014$EAAB3DA8-BC0E-4AAF-B9FD-06B8BB717E54","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"aa006e0db7ed3b9da6b729bd3c50b09ed2535412","datavalue":{"value":"Eugene W. Stark","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361014$079D9BFC-EA27-448D-BB1F-985E60E0810A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ac62a46393598dafaa96ab68a28111c302e872d","datavalue":{"value":{"text":"Enriched Category Basics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361014$12EEB22A-480D-45C3-969A-4D1E7956F8EA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ce421b1fe2f717e722431e700f5ca824fe812253","datavalue":{"value":"The notion of an enriched category generalizes the concept of category by replacing the hom-sets of an ordinary category by objects of an arbitrary monoidal category. In this article we give a formal definition of enriched categories and we give formal proofs of a relatively narrow selection of facts about them. One of the main results is a proof that a closed monoidal category can be regarded as a category \"enriched in itself\". The other main result is a proof of a version of the Yoneda Lemma for enriched categories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361014$632BC934-029B-4B06-9A59-36A81B34A010","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a283f6beb98075fee57b6325bcdf6dfd5d181a1","datavalue":{"value":{"entity-type":"item","numeric-id":4679165,"id":"Q4679165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361014$EEFB08F8-8CA1-4F4F-92C8-7E288C222141","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361014$1B4E2987-1CED-4C20-92BF-A7A9F88249F0","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"13aca46e307c0fa39f919117d8f86b52b1974922","datavalue":{"value":{"entity-type":"item","numeric-id":7361946,"id":"Q7361946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361014$38A66AC6-A8B4-4B1C-997A-48532C243157","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"572089e83311a7b04b56c3ffe6d7a11baed7d211","datavalue":{"value":{"entity-type":"item","numeric-id":7360823,"id":"Q7360823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361014$F232ECE0-C8DB-4A02-A719-B7EDB069D04B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361014$D7C19EC5-E139-4CBA-BF31-A1D50ADAE9E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enriched Category Basics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Enriched_Category_Basics"}}}}}