Post #2278885

@julesh@mathstodon.xyz X can be recovered from PX as the set of elements with exactly one other element below them (in the inclusion order, which can be recovered from the order on 2 and observing that Hom(X,-) preserves limits, so carries posets to posets).