Powerset functor

A powerset functor, 𝒫 : π—¦π—²π˜ β†’ π—¦π—²π˜, sends subsets to their image under maps.

βˆ€A,B ∈ Obj(π—¦π—²π˜), f : A β†’ B and S βŠ‚ A: 𝒫 A = 𝒫(A), 𝒫 f : 𝒫(A) β†’ 𝒫(B), S ⟼ f(S)

π—¦π—²π˜ is a category of sets. The objects are all small sets, and the arrows are functions between sets.

PreviousMonadNextTypes of Morphisms

Last updated