5
$\begingroup$

Let $\mathbb{Z}(.) : \mathbf{Set} \to \mathbf{Ab}$ be the functor that assigns to any set $S$ the set of maps $\mathbb{Z}(S) := \{ z: S \to \mathbb{Z} \; | \; z(s)=0 \mbox{ for almost all } s \in S \}$ and to any set map $f: S \to T$ the morphism $\mathbb{Z} f :\mathbb{Z}(T) \to \mathbb{Z}(S)$ of abelian groups, defined by $\mathbb{Z} f(z):= z \circ f$ for all $z \in \mathbb{Z}(T)$.

This defines a contravariant functor. Right?

Is this what is called the free abelian group functor? (I wonder because of its contravariance)

  • 0
    As a general rule, free functors are covariant; they are usually left adjoints to other covariant functors (e.g. the forgetful functor $\text{Ab} \to \text{Set}$ in this case).2012-06-07

1 Answers 1

7

What you've defined is not a functor, covariant or contravariant. Let $S$ be an infinite set and $f : S \to 1$ the unique map. Then $\mathbb{Z} f$ does not exist. (You need to require that $f$ is proper, that is, that the preimage of a finite set is finite.)

The free abelian group functor is covariant. You've assigned the right things to objects (more or less) but not to morphisms. The free abelian group functor assigns to a set $S$ the abelian group $\mathbb{Z}[S]$ of formal linear combinations $$\sum_{s \in S} c_s s, c_s \in \mathbb{Z}$$

and assigns to a function $f : S \to T$ the homomorphism $\mathbb{Z}[f]$ sending $\sum c_s s$ to $\sum c_s f(s)$. In this setup, the homomorphism you wanted to assign to a function $g : T \to S$ sends $\sum c_s s$ to $$\sum c_s \sum_{g(t) = s} t$$

and of course this is not well-defined if $\{ t : g(t) = s \}$ is infinite. This desire to "integrate over" inverse images appears in other contexts (e.g. pullbacks in homology, of which this may be regarded as a toy example (the $H_0$ of discrete spaces)) but I am not well-qualified to discuss them.

This issue is precisely the reason why I get annoyed when people call $\mathbb{Z}^S$ the free abelian group on $S$ when $S$ is finite: the assignment $S \to \mathbb{Z}^S$ ought to be contravariant, not covariant.

Edit: The comparison to homology might be valuable as a way of contextualizing this discussion. If $S$ is a set regarded as a discrete space, $\mathbb{Z}[S]$ is the zeroth homology $H_0(S)$ while $\mathbb{Z}^S$ is the zeroth cohomology $H^0(S)$; in particular, the former is covariant while the latter is contravariant. The fact that for $S$ finite we can identify the two can then be thought of as a very special case of Poincaré duality, which hammers home the point that the finiteness of $S$ is essential here.

  • 0
    There are a few situations where there are several natural functors that are the same on objects but different on arrows, so there's always going to be a little irritation from notation that emphasizes objects. Of course, the fact we have perfectly reasonable notation $\mathbb{Z}S$ makes $\mathbb{Z}^S$ much more questionable.2012-06-07
  • 0
    Ah ok. So my functor only makes sense on the category of finite sets.2012-06-07
  • 0
    But wat do you mean by "you have assigned the right thing to objects more or less". Why more or less? --- And by the way: I like the (co)homology example2012-06-07
  • 0
    @Mark: because I am picky. The group you wrote down is of course isomorphic to $\mathbb{Z}[S]$ and there is even a distinguished such isomorphism but, as I already said, I don't like this description of $\mathbb{Z}[S]$ precisely because it suggests contravariance when you want covariance.2012-06-07
  • 0
    Ok. As it turns out I want contravariance (not the free functor), so I should use another symbol instead of $\mathbb{Z}[.]$ and of course restrict to finite sets.2012-06-07
  • 0
    @Mark: well, I don't think that's necessary; there is a pullback in homology and people don't change how they refer to the group but how they refer to the induced morphism. One of them is $f_{\ast}$ and one is $f^{\ast}$ or something like that, and as I said you don't need to restrict to finite sets if you use proper maps. On the other hand if restricting to finite sets is fine for what you want then just use $\mathbb{Z}^S$, I guess.2012-06-07
  • 0
    @QiaochuYuan: Your suggestion about sets and proper relations is interesting, but unfortunately it too is not a functor. (Composition isn't preserved: a relation is mapped to a 0-1 matrix, but the composite of two 0-1 matrices is not necessarily a 0-1 matrix.) The obvious fix is to upgrade to a genuine bicategory where relations are allowed to have multiplicities... but then it's somewhat tautological that such a bicategory admits a "linearisation".2012-06-07
  • 0
    @Zhen: ah yes, you're right. I want the category of "proper spans."2012-06-07