nLab
support

Contents

Idea

The term “support” means different things in different parts of mathematics:

In analysis and cohomology

Given f:XAf : X \to A some quantity (a function or more generally some cocycle) and for AA a pointed object with the point playing the role of a zero element, the support of ff is the subobject of XX on which ff is non-zero.

In topos theory and type theory

support = (-1)-truncation

Revised on August 18, 2013 08:17:26 by Mike Shulman (107.194.22.192)