this post was submitted on 09 Mar 2024
838 points (98.4% liked)

Science Memes

10304 readers
2672 users here now

Welcome to c/science_memes @ Mander.xyz!

A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.



Rules

  1. Don't throw mud. Behave like an intellectual and remember the human.
  2. Keep it rooted (on topic).
  3. No spam.
  4. Infographics welcome, get schooled.


Research Committee

Other Mander Communities

Science and Research

Biology and Life Sciences

Physical Sciences

Humanities and Social Sciences

Practical and Applied Sciences

Memes

Miscellaneous

founded 2 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 126 points 6 months ago (5 children)

Mathematician: this is category theory. No, it didn’t have anything to do with categorization, it just helps us understand how spaces can map to each other. Yeah I guess it’s kinda like graph theory or algebra, but not really. We made a category of graphs, and you can use the category of graphs to represent endofunctors on the category of categories.

[–] marcos 33 points 6 months ago (1 children)

-- It's about nothing.

-- No sets?

-- No, forget the sets.

-- You've got to have sets.

-- Who says you've got to have sets? Remember when we were talking about functions of functions? That could be a theory all by itself.

[–] AngryCommieKender 2 points 6 months ago (1 children)

So they are metagaming mathematics?

[–] marcos 12 points 6 months ago (1 children)

I don't know that much of history, but by my accounts category theory is metagaming the metagame of the original mathematics metagamers.

[–] AngryCommieKender 2 points 6 months ago (1 children)

So we're at least 4 metas deep at this point?

[–] [email protected] 4 points 6 months ago

Just wait until the infinity mathematicians shows up and starts assigning cardinalities to the level of meta

[–] [email protected] 13 points 6 months ago (1 children)

Ok but can I use a graphing calculator to graph those graphs?

[–] [email protected] 28 points 6 months ago

Also no! The “graphing calculator” is an abomination that should be more rightly called a plotting calculator. But that’s what happens when you let engineers in Texas name something.

[–] [email protected] 13 points 6 months ago (1 children)

It's a strange feeling to think you understand what you are reading until you get to the end, but you have given me that feeling. I was like "yeah category that's a word I know. Let's math the hell out of some categories." Then I recognized other words you said, but by the time I was at the end of your post I wasn't sure if I understood anything.

I don't mind feeling dumb. Honestly it helps keep my narcissism in check. I like math because I don't understand all of it even though it should be logical.

[–] [email protected] 12 points 6 months ago (1 children)

If it helps, category theory is affectionately referred to by mathematicians as "generalized abstract nonsense".

It can be very confusing, but it's sort of a field of math that helps to relate ideas on one area to similar ones in another domain.

[–] [email protected] 1 points 6 months ago

Oh. Neat. Like a sort of language interpreter trying to explain an analogy from one language to another? The words might not mean the same when it comes down to the word for word interpretation, but the idea behind them is what matters.

[–] [email protected] 4 points 6 months ago

I've read a fair few unintuitive mathematical things, but category theory has so far been the worst. Some things are just plain unintuitive and don't catch your attention. Then there are things that are intuitive and really do reel you in. Finally there are things that seem intuitive but become so complex that your comprehension inverses: what you thought you knew feels wrong because of the new things you learned.

The latter has been my experience with category theory.

CC BY-NC-SA 4.0

[–] holomorphic 3 points 6 months ago

It may have nothing to do with categorization, but has everything to do with categorification which is much more interresting anyway.