- #1

- 1,030

- 4

Is it worth it that I take it as a class? I'm a last year undergraduate.

- Thread starter Dragonfall
- Start date

- #1

- 1,030

- 4

Is it worth it that I take it as a class? I'm a last year undergraduate.

- #2

morphism

Science Advisor

Homework Helper

- 2,015

- 4

- #3

mathwonk

Science Advisor

Homework Helper

- 11,042

- 1,232

- #4

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 19

Pah, category theory is the greatest thing since sliced bread. :tongue:

- #5

HallsofIvy

Science Advisor

Homework Helper

- 41,833

- 956

I took it when I was in graduate school. Found it very interesting- and probably more closely related to "foundations of mathematics" than any thing else except, say, a deep course on set and class theory.

- #6

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 19

Well, like set theory and group theory, the basics of category theory are incredibly useful to know. It provides a powerful language for expressing ideas, and systemizes the study of several constructions that are used everywhere in mathematics. For example, the notion of an adjunction was one of the major discoveries of category theory.

And certainly, there are very concrete examples -- for example, the "algebraic" structure of the set of all real matrices of any dimension is that of an (abelian) category.

And certainly, there are very concrete examples -- for example, the "algebraic" structure of the set of all real matrices of any dimension is that of an (abelian) category.

Last edited:

- #7

mathwonk

Science Advisor

Homework Helper

- 11,042

- 1,232

to me the main point of category theory is that one should always think not merely in terms of spaces but in terms of maps between spaces.

i.e. group homomorphisms aremore important than groups, or at least they are crucial for understanding groups. and simialrly linear transformations are more important than vector spaces.

and of course then functors are more important than categories.

it also helps you realize that an isomorphism is not a bijective morphism, but a morphism with a 2 sided inverse.

another maxim that comes out is that to show two objects are isomorphic, one should look round for a morphism between them.

categorical thinking also helps make it clear why homology groups of homeomorphic spaces are isomorphic. namely homology is a functor, and all functors preserve isomorphisms. the lack of this perspective causes the authors of very old, but sometimes still revered books, like hocking and young, to belabor the proof of such trivialities.

it also provides a framework for discussing singularities of spaces that arise from finite group quotients, like moduli spaces of curves.

namely one should keep the information that singularities of such spaces occur at points parametrizing curves which have automorphisms, and the automorphisms should be part of the structure of the quotient space, niot just the points.

so the moduli space of curves is looked at as a category, where each point is an object equipped with a family of automorphisms.

the only familiarity i have with category theory is from reading the lovely little book by peter freyd, as an impressionable youngster, and hanging around maurice auslander and his descendants.

and of course sliced bread just goes stale faster.

- #8

mathwonk

Science Advisor

Homework Helper

- 11,042

- 1,232

(we'll see if we can wake hurkyl up again.)

- #9

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 19

Did manifolds become boring once we learned they can all be embedded in

(we'll see if we can wake hurkyl up again.)

Oh, are finite dimensional real vector spaces boring simply because they are all isomorphic to

By casting away all of the irrelevant data, you make things more clear! And there's another benefit: if you look at Abelian categories as subcategories of

- #10

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 19

Inwhat is an adjunction? adjoint functors?

That is one aspect of it, and the one most people seem to focus on. But there is another side to category theory, in that you can define richer structures than you can with set theory.to me the main point of category theory is that one should always think not merely in terms of spaces but in terms of maps between spaces.

For example, the "algebra" of real matrices of any dimension is quite awkward to treat set-theoretically, but very natural category theoretically.

And sometimes, one might want to look at the semiring of isomorphism-classes of modules over a ring, so that it fits nicely into a set-theoretic structure. But you retain the entire algebraic structure of R

In topology, you can consider the fundamental groupoid of a space, where you have points and homotopy classes of paths; this is a little more natural than the fundamental group, because you don't have to do things relative to a basepoint.

Again in topology, you have sites and topoi which can have a much richer structure than you can manage with oridinary topology alone! e.g. you can throw all manifolds together into one big site, and study them all at once, or you have the étale site of algebraic geometry.

Even in elementary geometry: arrows in the plane form a category, and you can naturally do arithmetic with them without having to relocate them to have a common origin. And if you do happen to choose an origin so that you can add points, then you get an algebraic structure called a

- #11

Chris Hillman

Science Advisor

- 2,345

- 8

Ditto Hurkyl, but I think I'll let you guys sort this out.

(Years ago I had a long tutorial on the elements of category theory on-line, but eventually tired of revising it. This featured a long list of examples of adjunctions; this really is one of those useful concepts which every math student should know and use routinely. Basically my tutorial was intended to bring students with a strong math background up to speed without the requirement to take a formal course. The OP is lucky to see one offered but I might agree with mathwonk in suggesting that courses are for the hard stuff; for most mathematicians, category theory is more of an organizing principle used to store and retrieve information more efficiently, but possibly not easily appreciated until one has gotten through at least one year of graduate school.)

(Years ago I had a long tutorial on the elements of category theory on-line, but eventually tired of revising it. This featured a long list of examples of adjunctions; this really is one of those useful concepts which every math student should know and use routinely. Basically my tutorial was intended to bring students with a strong math background up to speed without the requirement to take a formal course. The OP is lucky to see one offered but I might agree with mathwonk in suggesting that courses are for the hard stuff; for most mathematicians, category theory is more of an organizing principle used to store and retrieve information more efficiently, but possibly not easily appreciated until one has gotten through at least one year of graduate school.)

Last edited:

- #12

morphism

Science Advisor

Homework Helper

- 2,015

- 4

Interesting way to put it! :rofl:

- #13

- 1,030

- 4

...........

- #14

- 70

- 0

Apparently the tiresome part starts somewhere around the Yoneda lemma...

- #15

mathwonk

Science Advisor

Homework Helper

- 11,042

- 1,232

- Last Post

- Replies
- 3

- Views
- 2K

- Last Post

- Replies
- 8

- Views
- 4K

- Last Post

- Replies
- 9

- Views
- 3K

- Last Post

- Replies
- 7

- Views
- 3K

- Last Post

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 1

- Views
- 3K

- Last Post

- Replies
- 2

- Views
- 7K

- Last Post

- Replies
- 4

- Views
- 2K

- Last Post

- Replies
- 2

- Views
- 2K

- Last Post

- Replies
- 1

- Views
- 2K