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
Created on June 5, 2012 02:59:21
by Urs Schreiber