Webcopresheaf copresheaves: vine-leaf vine-leaves: strandwolf strandwolves: tealeaf tealeaves: ice shelf ice shelves: curglaff curglaffs: nonself nonselfs: vine-staff vine-staffs: maple leaf maple leaves: whipstaff whipstaffs: basrelief basreliefs: knock off knock offs: laceleaf laceleafs: bullmastiff bullmastiffs: constaff constaff: Web(category theory) The dual of a presheaf ... Definition from Wiktionary, the free dictionary
category theory - How do you write a copresheaf as a …
WebDec 23, 2024 · A classical result due to Diers shows that a copresheaf $F\colon\mathcal{A}\to\mathbf{Set}$ on a category $\mathcal{A}$ is a coproduct of representables precisely ... chainsaw jonsered
Presheaf (category theory) - Wikipedia
WebOct 9, 2024 · Hence “presheaf” is a concept with an attitude. Historically, the initial applications of presheaves and sheaves involved cases like S = CRing (the category of commutative rings ), S = Ab ( abelian groups ), S = RMod ( modules ), etc. In category theory, a branch of mathematics, a presheaf on a category is a functor . If is the poset of open sets in a topological space, interpreted as a category, then one recovers the usual notion of presheaf on a topological space. A morphism of presheaves is defined to be a natural transformation of functors. This makes the collection of all presheaves on into a category, and is an example of a functor category. It is ofte… WebTour Start here for a quick overview of the site Help Center Detailed answers to any questions you might have Meta Discuss the workings and policies of this site happy 1 year and 5 months anniversary