Category Theory

Adam Shimi (+495/-704)
Yoav Ravid (+773)

Category Theory is a controversial topicsubfield of Mathematics studying mathematical structures and their conservation through various transformation. It emerged in it's usefulness. it can perhaps be described as an attempt to create a language of generalizations

So you’ve heard of this thing called “category theory”. Maybe you’ve met some smart people who say that’s it’s really useful and powerful for… something. Maybe you’ve even cracked open a book or watched some lectures, only to find that the entire subject seems to have been generated by training GPT-2 on a mixstudy of algebraic optometrytopology, then went on to apply to most parts of mathematics.

Despite some work on applied category theory, it's usefulness for problem solving (especially in topics close to LW, such as Rationality and output from theproofistrivial.comAI Safety. (from here)

note: i (the person who wrote the current description) knows very little about) is still controversial. One possible explanation is that category theory usually comes after the results, to structure them and made it because it's a fitting topic and cluster of posts, so someone should look over this and fix what may need fixing (and then delete this note)find the links with previous results in other fields.

Category Theory is a controversial topic in it's usefulness. it can perhaps be described as an attempt to create a language of generalizations

So you’ve heard of this thing called “category theory”. Maybe you’ve met some smart people who say that’s it’s really useful and powerful for… something. Maybe you’ve even cracked open a book or watched some lectures, only to find that the entire subject seems to have been generated by training GPT-2 on a mix of algebraic optometry and output from theproofistrivial.com. (from here)

note: i (the person who wrote the current description) knows very little about category theory and made it because it's a fitting topic and cluster of posts, so someone should look over this and fix what may need fixing (and then delete this note)