A pointed object is distinguished from an inhabited one in that the chosen point is structure rather than a property. In particular, a morphism of pointed objects is a morphism in the original category which preserves the points. In other words, the category of pointed objects in is the co-slice category under the terminal object.
There is an obvious forgetful functor from to . If has finite coproducts, this functor has a left adjoint functor which takes an object to the coproduct , equipped with its obvious point. This is often written and called ” with a disjoint basepoint adjoined.”
The category of pointed objects in any category with a terminal object always has a zero object, i.e. with an object which is both a terminal and initial: this is the point itself regarded as a pointed object in the unique way. A category with a zero object is sometimes called a pointed category (not to be confused with a pointed object in Cat).
Conversely, if has a zero object, then every object is automatically pointed in a unique way, so that is equivalent to its category of pointed objects.
If is a closed monoidal category with finite limits and and are pointed objects in , we can consider their pointed internal-hom (the “object of basepoint-preserving maps”), defined as the pullback
Here the map is induced from the point , and the map is adjunct to . We give the basepoint induced by the map whose adjunct is . If also has finite colimits, this pointed-hom has a left adjoint called the smash product, defined to be the pushout
with the obvious basepoint. These constructions make itself a closed monoidal category, which is symmetric if is. The unit is , where is the unit for the monoidal structure on . (The case when is cartesian, or at least semicartesian, is most common in the literature, but these facts are true in general. A proof can be found in Lemma 4.20 of arXiv:0710.0082.)
If is monoidal but not closed, the same definition of the smash product makes monoidal as long as the tensor product of preserves finite colimits in each variable separately. If not, the smash product can fail to be associative; for instance, the smash product on the ordinary category Top (without any niceness conditions imposed) is not associative.
This construction is almost always applied only when is cartesian monoidal, but this restriction is not necessary.
For a morphism into an object equipped with a point , its kernel is the pullback
The kernel is itself naturally a pointed object if is and if is a morphism of pointed objects.
Similarly, the cokernel of such a morphism is the pushout
which is always naturally pointed as indicated.
The notion of kernel in a category with zero morphism is obtained from this in the special case that all objects are assumed to be pointed, so that we are in a pointed category with zero-morphism given by .