I am not sure about 🍔, but I assume that it’s the set of integers with all even numbers removed, therefore it’s the set of all odd numbers.
Beyond that starts the nonsense for me. I’m very curious whether that stuff actually checks out. Some of the terms I remember from group theory, but other stuff seems incorrect to my (limited) knowledge.
The second definition of 🍕 seems to contain redundant information, as far as I can see " --> " defines a morphism, so why does the predicate “φ is a morphism” matter?
The first definition of 🍕 with the contravariant thing also doesn’t parse for me, what does that “-” mean in the function arguments?
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.
If there’s an actual mathematician here who knows then I’d love to know the answer. I’ve kinda been nerd sniped by this question but I don’t possess the knowledge to fully get this one
🍔 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.
Ah thanks for the info! Together with the other in-depth comment this is painting a good picture of what’s happening. Though I have some terms to study before I’ll get it.
Yeah this was a possibility I was thinking as well. The superscript n could just be n recursive applications, but then n is still not defined. It’s one of the things that makes me thing that it’s just nonsense. Also, how do you do math on Lemmy? Can you just use LaTeX math syntax or did you copy those symbols?
Wrote it from my phone using Unexpected Keyboard app with Greek symbols included and used superscripts and subscripts feature. I just used the markdown feature of writing code to create some formatting. Like this A = {}
Okay, so:
Beyond that starts the nonsense for me. I’m very curious whether that stuff actually checks out. Some of the terms I remember from group theory, but other stuff seems incorrect to my (limited) knowledge.
The second definition of 🍕 seems to contain redundant information, as far as I can see " --> " defines a morphism, so why does the predicate “φ is a morphism” matter?
The first definition of 🍕 with the contravariant thing also doesn’t parse for me, what does that “-” mean in the function arguments?
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.
If there’s an actual mathematician here who knows then I’d love to know the answer. I’ve kinda been nerd sniped by this question but I don’t possess the knowledge to fully get this one
🍔 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:
I assume it’s shorthand for saying that if you define f(x) = 🍕(x, B) then f : C --> Set is contravariant.
It’s not the notation I’m used to (I’d also think of power sets first), but I think it’s n-dimensional real projective space.
Ah thanks for the info! Together with the other in-depth comment this is painting a good picture of what’s happening. Though I have some terms to study before I’ll get it.
All I can say is that
P(ℝ)refers to a power set of ℝ (all rational numbers). Although I don’t know what n stands for inPⁿ(ℝ)Basically
P(A), whereA = {1,2,3}, equal{Φ,1,2,3,(1,2),(2,3),(1,3),(1,2,3)}Yeah this was a possibility I was thinking as well. The superscript n could just be n recursive applications, but then n is still not defined. It’s one of the things that makes me thing that it’s just nonsense. Also, how do you do math on Lemmy? Can you just use LaTeX math syntax or did you copy those symbols?
Wrote it from my phone using Unexpected Keyboard app with Greek symbols included and used superscripts and subscripts feature. I just used the markdown feature of writing code to create some formatting. Like this
A = {}Also this post is nonsense, hence posted here.