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.
Last updated
Was this helpful?