🍔 is the set of integers modulo 2 (more literally, if two integers differ by an even integer you consider them the same). I can write out more in a bit.
Edit: this previous post has some good comments, and you can find some of the notation and the answer on the wikipedia page for cohomology ring (they use F2 for integers mod 2 and RPn instead of Pn(R). I don't know enough algebraic topology to actually know why that's the answer but I can at least answer these:
The first definition of 🍕 with the contravariant thing also doesn’t parse for me, what does that “-” mean in the function arguments?
I assume it's shorthand for saying that if you define f(x) = 🍕(x, B) then f : C --> Set is contravariant.
In the definition of 🌭, what is the n (or the P)? ChatGPT started yapping about real projective space, but I’m not sure if that’s correct.
The original is iPad/iPod/iPaid, then someone added iPeed to the dog (and farded and shidded and camed), then comes this version that changes iPeed to something completely unrelated
There were these things like smog clearing up, I hoped that would bring about something. Mostly I was worried that people would get radicalised by the isolation and anti-lockdown grifters though.
You noticed two weird things, maybe it's because they cancel out? Herbivores want to go to the beautiful Costa Rican field but they're full of big cats.
That's still only if gayness has a total order, partial orders don't need to have one maximal element. (like, if you can say that both Alice and Bob are gayer than Charlie, but you cannot compare Alice's gayness to Bob's)
Drivers seem to love complaining about drivers