Page 1 of 1

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
by answerhappygod
Problem 4 Consider The Contravariant Powerset Functor P Setop Set Which Maps Sets To Their Power Sets And Functions 1
Problem 4 Consider The Contravariant Powerset Functor P Setop Set Which Maps Sets To Their Power Sets And Functions 1 (19.41 KiB) Viewed 29 times
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?