e/Direct image with compact support

Information
has gloss	eng: In mathematics, in the theory of sheaves the direct image with compact support is an image functor for sheaves.
lexicalization	eng: direct image with compact support
instance of	c/Continuous mappings