The adjoint-functors tag has no wiki summary.

**3**

votes

**7**answers

561 views

### What is the “right” definition of the free abelian group on a set?

One way to define the free abelian group on a set $S$ is as $F(S) := \mbox{Hom}_{\text{Set}}(S, \mathbb{Z})$ with the group operation coming by composition with the map $\mathbb{Z} \times \mathbb{Z} ...

**54**

votes

**9**answers

5k views

### How do I check if a functor has a (left/right) adjoint?

Because adjoint functors are just cool, and knowing that a pair of functors is an adjoint pair gives you a bunch of information from generalized abstract nonsense, I often find myself saying, "Hey, ...

**14**

votes

**2**answers

966 views

### What's an example of an “adjunction up to adjunction”?

(There are several dialects of 2-categorical language. Mine is the one where everything is weak by default. You might need to insert the word "weak" or "pseudo" (or even "strong", if your default is ...

**8**

votes

**4**answers

2k views

### When does the sheaf direct image functor f_* have a right adjoint?

Say f: X → Y is a morphism of schemes. The sheaf direct image functor f★ always has a left adjoint, namely the sheaf inverse image functor f★ (with tensoring).
Under what ...

**4**

votes

**2**answers

436 views

### Is there a free digraph associated to a graph?

A little bit of background: A graph G is, of course, a set of vertices V(G) and a multiset of edges, which are unordered pairs of (not necessarily distinct) vertices. We say that two vertices v_1, v_2 ...

**11**

votes

**6**answers

1k views

### Can adjoint linear transformations be naturally realized as adjoint functors?

Last week Yan Zhang asked me the following: is there a way to realize vector spaces as categories so that adjoint functors between pairs of vector spaces become adjoint linear operators in the usual ...

**27**

votes

**4**answers

2k views

### Does a scheme have a “separification”?

Background:
(1) If C and D are categories and there is a forgetful functor U:C→D, then a C-ification functor F:D→C is an adjoint to U. For example, the (left) adjoint to the forgetful ...

**19**

votes

**2**answers

1k views

### Is every functor a composition of adjoint functors?

My understanding of Ben's answer to this question is that even though associated graded is not an adjoint functor, it's not too bad because it is a composition of a right adjoint and a left adjoint.
...