Notes on Cambridge Maths

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Power Set Functor

The Covariant power set functor is a Functor Category of Sets
Given
we define by

We also have the Contravariant powerset functor:
(or )
defined by
and given we have

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Graph View

Backlinks