Potenzfunktor

Potenzfunktor is the German term for the power set functor, a fundamental construction in category theory that associates to every set \(X\) its set of all subsets \( \mathcal{P}(X) \). For a function \(f : X \rightarrow Y\) the functor acts by forward image, mapping a subset \(A \subseteq X\) to its image \( f(A) \subseteq Y\). This assignment preserves composition and identities, making \( \mathcal{P} \) a covariant endofunctor on the category Set.

Formally the functor is defined by two components: the object part \( \mathcal{P}(X) \) as above, and the arrow part \( \mathcal{P}(f)(A) = f[A] \). It is a lax monoidal functor because it carries a natural inclination to transform finite unions and intersections in a way compatible with its monoidal structure.

The Potenzfunktor is central in the theory of monads; together with the unit \( \eta_X(a)=\{a\}\) and multiplication \( \mu_X(\mathcal{U})=\bigcup \mathcal{U} \) it forms the powerset monad. This monad encapsulates nondeterministic effects and underlies many constructions in theoretical computer science, such as the semantics of nondeterministic automata and modal logic.

In topology the functor yields the hyperspace of closed subsets under the Vietoris topology, while in topos theory its internal version gives rise to power objects, enabling the representation of subobjects via characteristic morphisms. The Potenzfunktor also appears in algebraic geometry in the form of sheafification processes where power sets are generalized to sheaf power functors.

Related concepts include the covariant powerset functor on preorders, the covariant higher‑order powerset functor, and the concept of power objects in elementary toposes. For further reading see external links on monads, hyperspaces, and categorical logic.