To all category theorists:
In various textbooks, I see reference to the common comma category Elts(G),
which is called the "category of elements of functor G". This category seems to
be drastically misnamed. Does anyone agree? Here is my side of the story,
beginning with a review of the nature of Elts(G) and some of its significance.
G is a functor from a small category C into the category F of small
functions. Denoting the singleton {0} of the void set 0 by 1 (as usual), Elts(G)
consists of all triples (g,a,f) with a in the domain category C and
g:1--->G(codomain a), f:1--->G(domain a) such that g = G(a) o f, where "o" denotes function
composition. (Warning: By my conventions, a.domain a = a; codomain a.a = a.) The
composition of Elts(G) is defined by (h,b,g)(g,a,f) = (h,ba,f). The objects
are the Elts(G)-morphisms of the form (f,u,f), where u is a C-object, and the
map (f,u,f)-->f(0) identifies each of these with an element of the set G(u), so
that the convention of naming categories after their objects (to the extent
possible) is what presumably leads to calling Elts(G) "the category of elements
of the values of G at objects" or, for short, "the category of elements of G".
Several basic features of Elts(G) are exposed by treating it as a subcategory
of a product BxC of a transition category B with the domain category C of G.
To define B, let X be the set of functions f:1--->G(u) as u varies over the
objects of C; B is then the full transition category or groupoid of X, that is,
the self-product XxX with the transition composition (h,g)(g,f) = (h,f). But
rather than taking the ordinary cartesian product for BxC, one uses the
attachment product consisting of those triples (g,a,f) with (g,f) in B and a in C, so
that C-morphism a is viewed as being attached on its left to g and on its
right to f. Then Elts(G) inherits by restriction the projection functor
(g,a,f)-->a, which is reasonably called the detaching functor from Elts(G) into
C---this functor will be generically denoted by "det". There is also the transition
projection (g,a,f)-->(g,f) which maps Elts(G) functorially onto a transitive
relation on X, and the rule (g,a,f)-->g defines the entwining function of the
canonical natural transformation which entwines the constant functor
(g,a,f)-->1 on Elts(G) with the function composite functor G o det: Elts(G)--->F. (A
constant functor with value 1 will be denoted generically by "delta(1)".)
There are many important examples: If C is a group with object e so that G is
group action with action set Y=G(e), then, to within the identification
(g,a,f)-->(g(0),a,f(0)), Elts(G) is the traditional idea of a G-action as a
function from CxY into Y after correction to remove the categorically problematic
product CxY. If C is actually the group RxR, R being the additive group of real
numbers and G the action of C on the real affine plane by translation, then
Elts(G) is essentially the category of attached planar vectors as used in
Engineering Statics 101, which is why it seems appropriate to continue to use the
word "attach" in the context of a more general function-valued functor G:C--->F.
If C is a certain type of monoid, then Elts(G) is a semiautomaton. Among its
theoretical services is the fact that Elts(G) plays a role in the construction
of Kan extensions along inclusion functors, thus in particular in the theory
of induced group actions. It plays an analogous part in sheafification relative
to a Grothendieck site, and it is used to show that representable functors
are dense in the set of function-valued functors on C, providing, according to
Mac Lane and Moerdijk, "a plethora of tensor products". Even more basically, if
the domain C of G is discrete, then Elts(G) is a coproduct a.k.a. a disjoint
union of (the object values) of G. As will be noticed in a moment, the set of
functors A:C--->Elts(G) which are right inverse to the detaching functor det
on Elts(G)---that is, the "attaching functors" into Elts(G)---constitute a
(small) limit object of G, thus, in the case of discrete C, a product of the sets
G(u). From these examples it appears that Elts(G) is sufficiently important to
require a unique and unambiguous nomenclature, but, unfortunately, the things
in Elts(G) are really not the elements of G.
The (global) elements of an object u in a category are generally agreed to be
the morphisms from a given terminal object t to u. This convention
terminologically extends the observation that the functions f from the terminal object 1
into a (small) set X can be identified with the elements of X by the mapping
f-->f(0). The general definition has the virtue that each terminal object has
only one element, as should surely be the case, and the representable functor
of t provides a plausible (but not necessarily effective) attempt to convert a
given category into a category of functions between sets of elements. In
fact, this language seems to have found broad acceptance. But then the functor G
is an object in the morphismwise (i.e. "vertical") composition category F^C of
natural transformations whose (fully extended) entwining functions map from C
into F, and, because 1 is terminal in F, the constant functor delta(1) on C is
terminal in F^C. So G already has a set of elements, namely, those natural
transformations which entwine delta(1) with G. Such elements of G are not in
Elts(G) in any sense.
At first sight this terminological conflict might seem to be innocuous, since
Elts(G) and global elements of G occur in somewhat disparate contexts, but
the apparent separation does not hold up well when one considers how close the
set of global elements of G is to being a limit object of G. The only problem
with it is that it is not small; that is, it is not in the codomain category F
of G, and the only reason for this defect is that F, the common codomain of
the entwining functions of the things in F^C, is not small. Mac Lane in CWM
gives an ad hoc workaround which replaces, for a given G, the category F with a
small, G-dependent category of small functions, but this approach effectively
isolates G by artificially depriving it of morphisms into functors which do not
happen to map into Mac Lane's ad hoc replacement category; so one needs a more
perspicuous method of eliminating F and its untoward largeness.
F. W. Lawvere was apparently motivated by such considerations to introduce
comma categories in his thesis, an approach which works very well in addressing
the present awkwardnesses. One defines a category Law(C) whose objects are the
categories Elts(G) as G ranges through the functors in F^C and whose
morphisms are the cocompatible functors S:Elts(G)--->Elts(H) between such objects. The
composition is function composition of functors, and "cocompatible" means
that S does not disturb middle components of attached C-morphisms or,
alternatively put, det o S = det, where "det" continues to be the generic symbol for a
detaching functor. Then, if s in F^C entwines functor G with functor H, there is
a cocompatible functor S:Elts(G)--->Elts(H) which is evaluated at an attached
C-morphism (y*,a,x*) by
S(y*,a,x*)=(s(codomain a)(y)*, a, s(domain a)(x)*),
where I use y*, for example, to denote that function f:1--->G(codomain a)
whose value is y. Then the assignments s-->S define a functorial
isomorphism---which I call the Lawvere isomorphism (but should this be attributed to someone
else?) from F^C onto Law(C). Moreover, the objects Elts(G) of Law(C) are small.
This implies, of course, that the homset of cocompatible functors from
Elts(G) into Elts(H) is also small.
Elts(delta(1)) evidently consists of triples of the form (0*,a,0*) and can
thus be identified with C by the detaching functor (0*,a,0*)-->a on
Elts(delta(1)). With this identification, a cocompatible functor from Elts(delta(1)) into
Elts(G) becomes an attaching functor into Elts(G), so that, in the Lawvere
picture, the global elements of G are the attaching functors into the category
of...uh...elements of G. The set of such global elements is plainly small and
therefore must be what God intends to be the standard limit object of G, except
that it is difficult to believe that God would use such a verbal collision to
say what a global element is. These are my grounds for believing that Elts(G)
has to be renamed and redenoted.
As a related suggestion, I might recommend dropping the habit of referring to
categories by the names of their objects. This illogicality immediately
inhibits use of the subcategory concept (I still don't know what categorists use to
refer to the subcategory formed by the monomorphisms in an abstractly given
category), and then it just goes looking for the sort of trouble which has
turned up as "the category of elements of G". Besides this, the terminology "comma
category" is disrespectful of category theory, itself, due to the
inappropriateness of naming a fundamental, overarching categorical concept after a
punctuation mark. ("Slice category" doesn't seem to be any better.) Given the
precedent of attached vectors, which are used in a rough sense even by sophisticated
diagrammaticists, the category Elts(G) is obviously some kind of attachment
category, and since the transition components of any of its morphisms all have
domain 1, it is a based attachment category with base 1 or just a basement
category---or even just a basement denoted by something like G/1, if you're used
to placing domains on the right. Anyway, this is approximately what I use in
my study notes, and so far it works fine.
At the same time, I would be interested in seeing sharp, well reasoned
criticisms of this note provided that they are written at about the same technical
level so that I can understand them. I would like to emphasize that, aside from
what may be terminologically or notationally novel here, I am not making a
substantial research proposal or claiming priority for any discoveries. I have
no reason at all to doubt that all of the mathematics here is well known.
Pat Donaly
