Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

The Stanford Encyclopedia of Philosophy's article on category theory claims that adjoint functors can be thought of as "conceptual inverses" of each other.

For example, the forgetful functor "ought to be" the "conceptual inverse" of the free-group-making functor. Similarly, in multigrid the restriction operator "ought to be" the conceptual inverse of it's adjoint prolongation operator.

I think there is some deep and important intuition here, but so far I can only grasp it in specific cases and not in the abstract sense. Can anyone help shed light on what is meant by this statement about adjoint functors being conceptual inverses?

share|improve this question
4  
The Wikipedia article has some good commentary. The definition that is closest to the intuition one gets from the word "inverse" is probably the unit-counit definition: en.wikipedia.org/wiki/… –  Qiaochu Yuan Feb 4 '11 at 9:13

1 Answer 1

up vote 17 down vote accepted

In a nutshell, a natural bijection between Hom(f(x),y) and Hom(x,g(y)) says that the "graph of f" is obtained from the "graph of g" by "reflecting in the diagonal", just like the relationship between the graphs of inverse functions in calculus.

In more detail: two functions f:X → Y and g:Y → X are inverses if their graphs are related by simply swapping the x and y coordinates, i.e., if {(x,y) : f(x)=y} = {(x,y) : x=g(y)}. For two elements of a set, there are only two possible relations between them: they are equal or not, and we can rephrase f and g being inverse to each other yet again as saying the relation between f(x) and y is the same as that between x and g(y), or, using the Kronecker delta, as δ(f(x),y) = δ(x,g(y)).

Now for two objects of a category there are many possible "relations" they might be in, at the same time! These "relations" are the morphisms between them. So the generalization of the previous relation between f and g to functors should be that the relations between f(x) and y are in bijection with those between x and g(y), i.e., Hom(f(x),y) ≃ Hom(x,g(y)).

share|improve this answer
    
Very insightful! Thanks. –  Nick Alger Apr 1 '11 at 6:24

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.