Definition:Covariant Power Set Functor

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\mathbf{Set}$ be the category of sets.


The (covariant) power set functor $\mathcal P : \mathbf{Set} \to \mathbf{Set}$ is the covariant functor which sends:


Also see


Sources