# VKS comments on Welcome to Less Wrong! (2012) - Less Wrong

25 26 December 2011 10:57PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Sort By: Best

You are viewing a single comment's thread.

Comment author: 08 April 2012 12:08:05PM *  4 points [-]

Hello!

I should have read this post before I started posting.

I'm here because figuring out how thinking works is something I am interested in doing. I'm a freshman student in mathematics somewhere on planet Earth, but I know an unpredictable amount of mathematics beyond what I am supposed to. Particularly category theory. <3 Cat. Terrible at it for now though.

I hope I can say things which are mostly interesting and mostly not wrong, but my posting record already contains a certain number of errors in reasoning...

Comment author: 26 April 2012 10:08:48PM 0 points [-]

(Slightly belated) welcome!

<3 Cat.

Can you explain this bit?

Comment author: 27 April 2012 12:07:47AM 3 points [-]

As dlthomas says, Cat is the category of all (small) categories. (The small is there in certain (common (?)) axiomatizations only, in which CAT is the quasi-category of all categories.) In abjectly terrible metaphor, a category can be taken as a mathematical structure which represents a particular field of mathematics. So you have things like Grp, the category of groups and group homomorphisms, for group theory, Top, which contains topological spaces and continuous transformations for topology, Set for set theory, etc, etc... This is why they are called categories, as they categorize mathematics into the study of the things in various categories.

So what I'm saying is that I like Cat, which is the category of all categories, which is the same as saying that I like Category Theory. (It also sometimes, depending on your axioms, means that I like all of mathematics, which is also true.) Which is what I (redundantly) said in the text.

In other words, you probably didn't actually miss anything ;p