Besonderhede van voorbeeld: 9035437891879443501

English

Every continuous map f : X → Y between topological spaces induces a functor f ∗ from the category of sheaves (of sets, or abelian groups, or rings...) on X to the corresponding category of sheaves on Y, the direct image functor.

Spanish

Cada función continua f: X → Y entre espacios topológicos induce un funtor f* de la categoría de haces (de conjuntos, o de grupos abelianos, o de anillos...) en X a la categoría correspondiente de haces en Y, el funtor imagen directa.