« first day (2872 days earlier)      last day (2445 days later) » 

23:01
Hi @Mathein
Yo @ÍgjøgnumMeg!
@Daminark hey man
how's it all goin'?
Everything's alright, how about you?
Yeah not bad, got my undergrad dissertation grade back but I feel weird about it lolol
@Daminark do you know about filters?
23:07
Not at the moment
@ÍgjøgnumMeg well, hopefully weird on the good side! Are you done for the year?
@Daminark a bit too on the good side; they gave me 100% for it lol
yeah we're finished now, I hopefully start my masters in september :)
@LeakyNun if $X$ is a set, take any family of fields $F_x$ indexed by $X$ (it doesn't matter which fields), then filters on $X$ are the same as ideals in $\prod_{x \in X} F_x$
interesting
let's just take $F_x = \Bbb F_2$ and then $\Pi F_x = P(X)$
in fact I don't believe you
unless you reverse everything
because 0 is certainly in the ideal
The correspondence is like this: if $I$ is an ideal, then $\{Y \subset X \mid \exists (a_x)_{x \in X} \in I, a_x = 0 \Leftrightarrow x \in Y \}$ is a filter
as an undergrad student how did you learn category theory?
23:15
@Mathei What do you play
@MikeMiller I like single player RPGs, like final fantasy etc.
well maybe not the newest final fantasy
@MatheinBoulomenos did you self study it?
@Maximus yes, I did some self-study starting in the second semester, but in my fourth semseter, we did some category theory in my advanced algebra course
oh which university is that or at least which country
I actually really liked the newest one
23:18
Heidelberg, in Germany
man you guys have a good system
The combat was really well-designed and the road trip aesthetic was quite fun to me
@MikeMiller maybe I should actually play it, I tried the demos and didn't like it that much
here in Canada even in grad school depends on the uni you never see it
Hmm, maybe get it on sale or something. I don't remember the demo well so I don't know if it reflected the game
I really liked the hunts and stuff
23:19
I really liked FF10 and FF12
But it's definitely action over classic RPG elements
10 is great, I never beat 12. I actually remember exactly where I got stuck
Hated 10, so very much. :(
@XanderHenderson but why?
was it that laugh scene
3 is the best (and I refuse to renumber it!).
The first time my disc was scratched and I couldn't get through Arcadia, it just crashed, and most recently I tried again but got irritated at this fight with like 4 vegetable guys, not long before Arcadia
23:21
F'in' blitzball.
F that noise.
Is this about math?
@MikeMiller I think the combat system in the Zodiac version of 12 is a big improvement
Actually, 12 is probably my favorite. That was not to long after Square bought out Enix, and incorporated a battle system very much like that in the greatest JRPG of all time, Star Ocean: Second Story
Yeah, I agree
23:24
@MikeMiller You can't disagree. Star Ocean 2 is the best. Period.
THERE IS NO DENYING IT!
cough FF7 cough
Ugh... FF7 is one of the most overrated games evar.
Yikes star ocean fan [veers car off highway into ocean, drowns]
@MikeMiller the problem I have with action RPGs is that I always compare the combat to KH2fm and nothing can live up to that
I hated the last boss of that
10 mins ago, by Maximus
as an undergrad student how did you learn category theory?
@Maximus just like you learn any language
I was thinking of playing the other games in the series because I like batshit insanity
@MikeMiller yeah, the main story final boss is not that great
but in the final mix version, you have so many optional superbosses
the story is obviously garbage, but the combat feels so smooth
hrm... maybe I should give Kingdom Hearts a try
my antipathy towards Disney has prevented me every playing it
23:28
anyone ever tried "a way out"?
Hay, gaiz! Haz ne1 played Тетрис?
Hey guys
hey @geocalc33
HAY IS FOR HORSES!
23:34
@LeakyNun I understand but how do you know you're right, i.e. when solving exercises in the books you read
@Maximus I think many people just treat category theory as a language to express things in
or a philosophy
sure, there are category theorists
but most of the people who use category theory aren't category theorists
CAn I take the cartesian product of two groups
@LeakyNun but most category theory books, like Aluffi's Algebra 0 have exercises
In group theory, the direct product is an operation that takes two groups G and H and constructs a new group, usually denoted G × H. This operation is the group-theoretic analogue of the Cartesian product of sets and is one of several important notions of direct product in mathematics. In the context of abelian groups, the direct product is sometimes referred to as the direct sum, and is denoted G ⊕ H. Direct sums play an important role in the classification of abelian groups: according to the fundamental theorem of finite abelian groups, every finite abelian group can be expressed as the direct...
Like take two groups and take the cartesian product of them
23:37
@Maximus I've not read Aluffi's book (I tend to run screaming from Cat Theory, even though Baez is on my committee), but I have heard it come highly recommended from a lot of people that I respect.
oh thanks
There is also "Category Theory for the Working Mathematician", which is supposed to be good.
interesting, thank you
"In the context of abelian groups, the direct product is sometimes refered to as the direct sum" I'm triggered
3
why are you triggered
23:38
lol
The phrase "category theory" is triggering for many.
@XanderHenderson I actually have a copy of that, rather randomly
because direct sums and direct products are not the same
@MatheinBoulomenos but they're canonically isomorphic :D
oh yeah that's what i thought
but wasn't sure
23:38
even without the categorical perspective, an infinite direct sum and an infinite direct product are not the same
i picked it up among a few free books during our last office move
@LeakyNun over a finite index set, at least
@MatheinBoulomenos sure but we're talking about binary direct product and binary direct sum
@MatheinBoulomenos Psh... who even works with infinite anythings? They are the same for finite sums and products!
SO GET OVER IT!
23:39
but even then, the structure maps are different
the direct sum has inclusions and the product projections
Hey, guys, do you know what's odd?
Natural numbers that aren't divisible by two.
So very odd.
I think 2 is the oddest prime
23:40
2 is the oddest prime
lol
sniper retaliation
ni4ni
makes the whole world blind
23:41
Oddly enough (ha ha) the common vernacular usage of "odd" actually post-dates the mathematical usage in English.
Numbers were odd in English long before Shakespeare decided that people or actions could be odd (meaning strange) as well.
that's odd
@XanderHenderson @Maximus note that Aluffi is not a category theory textbook. It's an algebra textbook with a decidedly categorical perspective (which still makes it a great first encounter with that stuff)
@Xander that's cool!
I see thanks @MatheinBoulomenos
I wonder if it makes sense to call actions or people something based on the residue classes in $\Bbb Z/3\Bbb Z$
23:44
you're so $[1]_3$
Aluffi is a great book. It's my favourite for basic abstract algebra
"Odd birds fly east" is a way of remembering what your altitude should be. :)
In the US, at least.
I don't know how the rest of the world flies.
Hey guys
@XanderHenderson if I was at the same uni as Baez, I'd pester him with category stuff all the time
Heh. He is on my committee, but I almost never talk to him.
He is rarely on campus, and I do very little with category theory.
23:48
so the direct product is just like the cartesian product
?
Xander what university?
@XanderHenderson maybe you can collaborate and define what a fractal $(\infty,1)$-topos is!
@geocalc33 (1) the direct product is a generalization of the Cartesian product; in the case of binary products (and finite products) it reduces to the same thing.
(2) UC Riverside.
@XanderHenderson "I do very little with category theory" the horror
@MatheinBoulomenos My advisor has been thinking a lot about topos recently. He has some idea about fractal cohomology.
you mentioned the idea of fractal cohomology before
23:50
Which, near as I can figure, is some kind of $\mathbb{R}$-graded group structure.
My conjecture from yesterday grown stronger
BUT IT IS WAY ABOVE MY PAYGRADE!
X cohomology makes sense for all X
What is $H^1(\text{Yo mama})$?
Yo mama's so fat, that's not even finitely generated
6
23:51
Yo Yo Ma
Yo mama so fat, she ain't $L^p$ for any $p$!
Lafom
So noncommutative algebra is done. We know all we need to know about C-star algebras and von Neumann factors and whatnot. The real work is in nonassociative algebras.
what makes a group interesting
Typically, its life experience.
23:54
I'd say a group is interesting if it acts on things you're interested in
Or its ability to converse, at the very least.
what do you mean "act on"
Do you want a formal definition or an intuitive explanation?
both, but if i can only have one then intuitive
@MatheinBoulomenos I would recommend starting with the intuition; the formal definition is a bit dense.
(if you ask me, but I ain't no algebraist)
@geocalc33 Imagine the unit circle living inside of $\mathbb{C}$. This is a set consisting of things of the form $\mathrm{e}^{i\theta}$ where $\theta \in [0,2\pi)$ (or $\mathbb{R}$ modulo $2\pi$, if you prefer). This set forms a group with complex multiplication.

« first day (2872 days earlier)      last day (2445 days later) »