Post #2278883

@julesh@mathstodon.xyz By the Yoneda lemma, if F is represented by some set A, then Nat(F, id) = id(A) = A. That's probably the easiest way to recover the representing object.