The term “support” means different things in different parts of mathematics:
In analysis and cohomology
Given some quantity (a function or more generally some cocycle) and for a pointed object with the point playing the role of a zero element, the support of is the subobject of on which is non-zero.
In topos theory and type theory
support = (-1)-truncation
Revised on August 18, 2013 08:17:26
by Mike Shulman