Sheaves in Minecraft

Re:Sheaves in Minecraft by kalium-xyz on Monday November 01, 2021 @06:22AM (#29064885)

If you have trouble reading the article. The article assumes the reader has some knowledge of set notation. Look into it and you will find it easily readable.

[ Parent | on HN ]

Re:Sheaves in Minecraft by PebblesRox on Monday November 01, 2021 @07:02AM (#29065170)

I found this overview to be a helpful set notation review: https://www.purplemath.com/modules/setnotn.htm

[ Parent | on HN ]

Re:Sheaves in Minecraft by tubby12345 on Monday November 01, 2021 @06:54PM (#29074354)

>But now, minecraft also has a functor F:(openM)→E, where E is the category of entities, which has as objects just sets of entities and as morphisms the surjective maps

I too learned about categories, functors, and morphisms in my set theory class ..

Don't get me wrong I do know what all of those things are but I didn't learn about them in set theory.

[ Parent | on HN ]

Re:Sheaves in Minecraft by kalium-xyz on Tuesday November 02, 2021 @07:19AM (#29079593)

well where did you learn them?

[ Parent | on HN ]