Portal 2

Portal 2

104 arvostelua
Sheaf
   
Palkinto
Lisää suosikkeihin
Lisätty suosikkeihin
Poista suosikeista
Tiedostokoko
Julkaistu
Päivitetty
18.312 MB
27.9.2019 klo 16.46
28.9.2019 klo 17.53
2 muutosilmoitusta ( näytä )
1 kokoelmassa, tekijä Mikeastro
Mikeastro's Logic Maps
78 luomusta
Kuvaus
If you look up the word ''sheaf'' in the dictionary, you might find something like:
''A bundle of grain stalks laid lengthways and tied together after reaping.''
Allow me to tell you what a sheaf really is:

Definition: Let X be a topological space (typically a scheme). An abelian presheaf F on X consists of the following data:
- For each open set U of X, an abelian group F(U).
- For each inclusion of open sets V ⊆ U, a restriction morphism res_(V,U) : F(U) → F(V).
These restriction morphisms must satisfy:
- For every open set U of X, the map res_(U,U) : F(U) → F(U) is the identity map on F(U).
- If we have three open sets W ⊆ V ⊆ U, then we have res_(W,V) o res_(V,U) = res_(W,U).

If s ∈ F(U), then its restriction res_(V,U)(s) is often denoted s|_V.

Definition: A sheaf is a presheaf that satisfies the following two axioms:
- If { U_i } is an open covering of an open set U, and if s,t ∈ F(U) are such that s|_(U_i) = t|_(U_i) for each set U_i of the covering, then s = t.
- If { U_i } is an open covering of an open set U, and if for each i a section s_i ∈ F(U_i) is given such that for each pair U_i,U_j we have s_i|_(U_i ∩ U_j) = s_j|_(U_i ∩ U_j), then there is a section s ∈ F(U) such that s|_(U_i) = s_i for each i.

What you can see above is the poorly typeset definition of a sheaf as one knows it in mathematics, and then in particular algebraic geometry (admittedly known for its lengthy definitions). This is what ''real'' mathematics looks like, if there exists such a thing. It is nothing like what is being taught in high school. This misconception goes so deep that sometimes it makes me very sad.
Note: by giving the above definition I am not trying to make myself look smart or anyone else look dumb - I just want you to be able to see it. Understanding the definition is a matter of mathematical experience and not one of intellect; for now it is irrelevant.

Oh yeah, I made a new map.
Three puzzles, all with a somewhat creative idea.
Be sure to let me know when you break any of them :]
Some concepts were inspired by some of Fumbly Bumbly's latest maps.
This map is basically a meh Bottom Line.

Difficulty: maybe 4/10 all round.
Feel free to disagree with this and to let me know about it.

Of course I won't copystrike you for the music if you record your run :p
In other news: My puzzle game Sokoban: The RPG has been released on steam! Please consider checking it out!

Playthrough by 可砸的六度双音
Room 1 by bullfrog
Room 1 by Joric
Room 2 by Joric
Room 3 by Joric
Blind run by asears16
Blind run by Nock
72 kommenttia
Mattchew 14.9.2024 klo 22.47 
Haha I quite liked that. I think my fav room is the second. In theory I wouldn't like the move, but its actually surprisingly consistent, easy to do and all around pretty cool. Just unusual. I also like me some sleek funnel maneuvering. I liked room 1 and 3 as well, just 2 was very unique to me. Nice work!
Mikeastro  [tekijä] 25.1.2024 klo 16.45 
@zeo1337 I can't really hate on that solution; it's genuinely impressive haha
zeo1337 25.1.2024 klo 16.11 
Yeah... my brain is getting tired and trying literally everything

https://steamproxy.net/sharedfiles/filedetails/?id=3147288909
Winnie the Mao 24.1.2023 klo 8.52 
Nice one, I liked it
Mikeastro  [tekijä] 7.11.2022 klo 7.58 
@Mr Fab Just watched your blind run video! It was very entertaining as always. I'm happy to hear that you enjoyed it so much :D
Mr Fab 2.11.2022 klo 23.47 
This map was so much fun to play. I really like the moves for those puzzles :steamthumbsup: Favorited ! My blind playthrough https://www.youtube.com/watch?v=vhZvMB5WWKI
Mikeastro  [tekijä] 7.7.2022 klo 14.50 
@JiggleYourJerkyMrTurkey Thank you! I agree that the second room is a bit questionable but hopefully it was still nice to figure out!
@lfairban Sorry for commenting (almost!) a year late, but thanks for playing :cozycrashfish: Excellent work solving all the puzzles!
JiggleYourJerkyMrTurkey 7.7.2022 klo 8.02 
Very good map! First part was especially good in my opinion. However, the second part (at least in my opinion) should've been its own stand-alone map considering how niche its trick is.
lfairban 8.7.2021 klo 13.10 
I should have read the description first. It took me forever, several tries, to make it through the first room, then today, I did it! . . . and found another room. The rest didn't stop me as I became familiar with your sense of humor. They are all great logic challenges.
lfairban 8.7.2021 klo 10.22 
F(U)2