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 functor underlies the “maybe monad”). This is often written and called “ with a disjoint basepoint adjoined.” A pointed object is equivalently a module over a monad of this monad.
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.
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 Elmendorf-Mandell 07, lemma 4.20
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 base change functoriality of these structures see at Wirthmüller context – Examples – On pointed objects.
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 .
Pointed objects are the algebras over a monad of the monad (the “maybe monad”). (Already the unit axiom of the monad makes its algebras be pointed objects, the action axiom does not add any further condition in this case.)
Notice that if sufficient colimits exist in the first place, then this functor is trivially an accessible functor, hence an accessible monad. This makes categories of pointed objects inherit good properties from the ambient category, see at accessible monad – Categories of algebras.