Definition In a category C, an object ∗:C that is both initial and terminal is called a null object. A category is considered pointed iff it has a null object. See also Pointed Algebra