Problem 4. Consider the contravariant powerset functor P*: SetºP + Set which maps sets to their power-sets and functions
-
answerhappygod
- Site Admin
- Posts: 899604
- Joined: Mon Aug 02, 2021 8:13 am
Problem 4. Consider the contravariant powerset functor P*: SetºP + Set which maps sets to their power-sets and functions
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?
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!