cone -- mapping cone or polyhedral cone

See also

• cone(ChainComplexMap)
• cone(ComplexMap) -- make the mapping cone of a morphism of chain complexes
• cone(Polyhedron) -- Take the cone over a polyhedron
• null -- the unique member of the empty class