Samuel Yusim

I'm really algebraically minded though

I tried a million times to learn real analysis on my own but nothing stuck with me until I took a course

is it cauchy sequences?

I guess part of the problem is how you actually define $\mathbb{R}$

I don't actually know set stuff

or maybe not

You don't really need the unique representations. You know that $\mathcal{P}(\mathbb{N}) = 2^\mathbb{N}$, and this is just sequences of 0's and ones. You can probably adapt the proof from there

I like writing in my books too

yeah physical copies are good

it might be the best website on the internet

libgen.... is good

wow, there's another diestel?

(@BalarkaSen late hello)

hello!!!

boop

yep yep yep

you guys are so nice and helpful

neat

snipped ✂️ ✂️

ohhhhhhh of course it's important, I've seen it in quantum group stuff

ahhh that's good

ahhhhhhhh okay

I mean, same here. I really just want some confirmation that yes, this is a thing people make actual use of, and not just a generalization for the sake of generalization

@loch my question is whether any particular thing is actually easier, I guess

I glanced at it occasionally when I was learning that stuff

oh, that one's good

which atiyah book is this?

balarka knows everything for some reason

I dunno, I'm trying to learn this stuff in a way that isn't just "something something smooth groups and tangent spaces at the identity"

because they wait 3 more chapters to do it

apparently no

where $S^1$ is the unit circle in the complex plane

was $\mathbb{R}^2 \times S^1$ with the product $(a,b,\theta)(c,d,\phi) = (a+c,b+d, e^{iad}\theta\phi)$

oops

the one my book gave was $

so like, what's the actual point in doing this?

all the books go out of their way to define lie groups in terms of manifolds, but then they immediately say all the """""important""""" lie groups are matrix lie groups anyway

here's a random question: why do we care about non-matrix lie groups?

hi friends

sure thing

@MikeMiller I sent you an email

like there's a page on the nlab that gives a bunch of related articles that just 100% don't seem related

I've just landed on it from a pretty unexpected direction so it's confusing to see so many people saying the thing I care about is higher-categorical even though nobody's saying how

yeah, you're right

why are higher category people such heirophants

every time I look at this stuff I feel like I've made a wrong turn

arg math is so hard

so like, huh?

and the higher algebra book is 1500

in the foreword of his higher algebra book he says "prerequisites should be minimal apart from my other book" but his other book is 1000 pages