890
STEM (mander.xyz)
you are viewing a single comment's thread
view the rest of the comments
[-] wise_pancake@lemmy.ca 133 points 8 months ago

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@lemmy.world 35 points 8 months ago

-- 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@lemmy.world 3 points 8 months ago

So they are metagaming mathematics?

[-] marcos@lemmy.world 13 points 8 months ago

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

[-] AngryCommieKender@lemmy.world 2 points 8 months ago

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

[-] Natanael@slrpnk.net 4 points 8 months ago

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

[-] Gork@lemm.ee 15 points 8 months ago

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

[-] wise_pancake@lemmy.ca 30 points 8 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.

[-] Notyou@sopuli.xyz 14 points 8 months ago

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.

[-] wise_pancake@lemmy.ca 13 points 8 months ago

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.

[-] Notyou@sopuli.xyz 2 points 8 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.

[-] onlinepersona@programming.dev 4 points 8 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@lemmy.world 3 points 8 months ago

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

this post was submitted on 09 Mar 2024
890 points (98.3% liked)

Science Memes

11148 readers
2861 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.

This is a science community. We use the Dawkins definition of meme.



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