Anonymous
6/26/2025, 6:22:18 PM No.16708024
Is category theory worth it?
Replies:
Thread 16708024 - /sci/ [Archived: 700 hours ago]
Anonymous
6/26/2025, 7:21:38 PM No.16708077
Replies:
Anonymous
6/26/2025, 7:22:16 PM No.16708078
>>16708024 (OP)
if you want to become trans, yes
if you want to become trans, yes
Replies:
Anonymous
6/26/2025, 8:21:20 PM No.16708114
>>16708024 (OP)
Depends on what you want to study. It’s particularly useful for algebraic topology and algebraic geometry. It also lets you quickly generalize many concepts. For example, a group action on a set immediately generalizes to a group action on any category if one just interprets a group as a groupoid with one object so that group action on an object in a category is just a functor. You can then quickly interpret what exactly is a free or transitive action is, on, say a manifold. You can then quickly generalize this to monoid and groupoid actions. So a vector space is an abelian group with a monoid action on it, which lets you quickly interpret why, for example, operator norms on Banach spaces are defined the way they are. Very nice way to organizing information and seeing why some structures in math behave “wilder” than others.
Depends on what you want to study. It’s particularly useful for algebraic topology and algebraic geometry. It also lets you quickly generalize many concepts. For example, a group action on a set immediately generalizes to a group action on any category if one just interprets a group as a groupoid with one object so that group action on an object in a category is just a functor. You can then quickly interpret what exactly is a free or transitive action is, on, say a manifold. You can then quickly generalize this to monoid and groupoid actions. So a vector space is an abelian group with a monoid action on it, which lets you quickly interpret why, for example, operator norms on Banach spaces are defined the way they are. Very nice way to organizing information and seeing why some structures in math behave “wilder” than others.
Replies:
Anonymous
6/26/2025, 10:20:18 PM No.16708211
>>16708078
I already am
I already am
Anonymous
6/26/2025, 11:29:43 PM No.16708234
>>16708024 (OP)
If you don't already know whether its worth it or not, then the answer is no
If you don't already know whether its worth it or not, then the answer is no
Anonymous
6/26/2025, 11:58:47 PM No.16708259
>>16708258
sorry i larp as a computer scientist
sorry i larp as a computer scientist
Replies:
Anonymous
6/27/2025, 12:01:53 AM No.16708262
>>16708259
Comp sci fags say functional programming is somehow related to category theory, but any attempt of mine to see what's going on there has failed because CSfags don't actually use category theory, rather "ideas inspired by it".
Comp sci fags say functional programming is somehow related to category theory, but any attempt of mine to see what's going on there has failed because CSfags don't actually use category theory, rather "ideas inspired by it".
Replies:
Anonymous
6/27/2025, 4:31:29 AM No.16708403
>>16708279
Category theory is fundamental to computer science. Even just graphs and data structures. People are who add "fag" to the end of everything are typically degens and degens don't engage in higher level thought.
Category theory is fundamental to computer science. Even just graphs and data structures. People are who add "fag" to the end of everything are typically degens and degens don't engage in higher level thought.
Replies:
Anonymous
6/27/2025, 4:38:29 AM No.16708406
>>16708403
A programmer thinks in terms of objects and relations. A category is formed of objects. Object oriented programming is all about this, it is useful beyond functional programming.
A programmer thinks in terms of objects and relations. A category is formed of objects. Object oriented programming is all about this, it is useful beyond functional programming.
Anonymous
6/27/2025, 5:26:30 PM No.16708739
>>16708403
When do you ever use things like pullbacks, groupoids, or factorization systems? It seems to be a very barebones "application" rather than actual category theory used in homological algebra or algebraic geometry.
When do you ever use things like pullbacks, groupoids, or factorization systems? It seems to be a very barebones "application" rather than actual category theory used in homological algebra or algebraic geometry.
Cult of Passion
6/28/2025, 6:02:19 AM No.16709214
Anonymous
6/30/2025, 8:48:51 AM No.16710884
this post is formal evidence of a moral omnipotent having reason to hold a soul-extincting grudge.