Problem 4. Consider the contravariant powerset functor P*: SetºP + Set which maps sets to their power-sets and functions
Posted: Thu May 12, 2022 9:33 am
Problem 4. Consider the contravariant powerset functor P*: SetºP + Set which maps sets to their power-sets and functions to inverse-image (or pre-image). Is this functor representable? If yes, what is the representing object?