I’ve been trying to deepen my knowledge about adjunctions for the past few hours, and somehow got thrown off on a tangent thinking about notation. This post is the result; hopefully it’s somewhat coherent. I was very tempted to post it on triple involution, but for some reason I ended up posting it here anyways.
One thing we tend to do a lot in mathematics is use mappings between objects to “transport” structures from one to the other. I’m sure there are plenty of really elementary examples, but the first interesting one that occurs to me is in differential geometry. Another example is given by direct image (and inverse image) sheaves.
Given a smooth map between manifolds, and a point , one can “push forward” vectors tangent to at , and obtain vectors tangent to at . To be more precise, if denotes the tangent space of the manifold at , then we are saying our smooth map induces a (linear) map , known as the pushforward of at . I usually saw this map denoted , read “-lower star-“.
A decent definition of the tangent space is that it’s the vector space of all linear derivations at , that is, linear maps such that
When we define the tangent space this way, the pushforward map is given by
That is, we have produced a derivation of at , call it , that acts on functions as . The way it behaves is pretty simple; it takes (which, being in , is nothing but a smooth function ), precomposes it with thereby giving a smooth function , and then feeds this thing into the derivation we started with. The proof that actually is an element of (that is, actually is a linear derivation at ) is trivial.
With this example in mind, suppose now that we’re in some category . Let’s think about the thingie that takes a pair of objects in , and gives us the set of all morphisms . We usually denote this set, say, by or maybe to emphasize which category we’re working in.
Now suppose we fix and we consider just in its remaining one variable: that is, look at . If we have two objects of , and a morphism, say , then we actually get a function given by , that is, by precomposing with to “pull back to “. The obvious notation for this map, since is a (contravariant) functor, is . Mac Lane (in Categories for the Working Mathematician) however, often opts to call this map instead (which is consistent with the notation from differential geometry, where is the pullback of differential forms).
If we fix the first component instead, that is, fix and consider , it seems natural to use a “lower star”. That is, given a map , we get a map by “post-composition”, which (I guess you could say) pushes us forward to . That is, .
Let’s go back to our example. What is actually doing? It’s sending to , where is the thing that sends to . So, is just “precomposition by “. That being said it almost seems like we should denote the pushforward by or something… -_- maybe I just screwed something up.
In this sense, I really can’t seem to justify writing . I mean, yes, you’re pushing tangent vectors forward, but set-theoretically, you’re pulling back along a pullback map. I don’t know. Notation sucks.