{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:SHFV65EZWQ74YRNKRM6QPQENX4","short_pith_number":"pith:SHFV65EZ","schema_version":"1.0","canonical_sha256":"91cb5f7499b43fcc45aa8b3d07c08dbf12d8c670b1a77fef0e9a3c6001f20df5","source":{"kind":"arxiv","id":"1712.02064","version":1},"attestation_state":"computed","paper":{"title":"A remark on Yoneda's Lemma","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AG","math.AT"],"primary_cat":"math.CT","authors_text":"Shoji Yokura","submitted_at":"2017-12-06T07:32:52Z","abstract_excerpt":"Yoneda'e Lemma is about the canonical isomorphism of all the natural transformations from a given representable covariant (contravariant, reps.) functor (from a locally small category to the category of sets) to a covariant (contravariant, reps.) functor. In this note we point out that given any representable functor and any functor we have the canonical natural transformation from the given representable functor to the \"subset\" functor of the given functor, \"collecting all the natural transformations\"."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1712.02064","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2017-12-06T07:32:52Z","cross_cats_sorted":["math.AG","math.AT"],"title_canon_sha256":"7becd77ef3a400b6f644fe1bcd471d44bdd34fb7f4a8a6542317aef230335980","abstract_canon_sha256":"935cccc0484d9c304968d45bb2c5f75ebee8a40f72ac9907a3357524bc1c87cc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:28:39.325136Z","signature_b64":"j54ob/g539pQ6OR9fkcsZTaiA7+9P3vMgnONPcyvZVbFhoUQkdlFXM2lgtdMU5tHYKt/ln4M7cAWwQNTHBX7CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"91cb5f7499b43fcc45aa8b3d07c08dbf12d8c670b1a77fef0e9a3c6001f20df5","last_reissued_at":"2026-05-18T00:28:39.324479Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:28:39.324479Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A remark on Yoneda's Lemma","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AG","math.AT"],"primary_cat":"math.CT","authors_text":"Shoji Yokura","submitted_at":"2017-12-06T07:32:52Z","abstract_excerpt":"Yoneda'e Lemma is about the canonical isomorphism of all the natural transformations from a given representable covariant (contravariant, reps.) functor (from a locally small category to the category of sets) to a covariant (contravariant, reps.) functor. In this note we point out that given any representable functor and any functor we have the canonical natural transformation from the given representable functor to the \"subset\" functor of the given functor, \"collecting all the natural transformations\"."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.02064","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1712.02064","created_at":"2026-05-18T00:28:39.324577+00:00"},{"alias_kind":"arxiv_version","alias_value":"1712.02064v1","created_at":"2026-05-18T00:28:39.324577+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.02064","created_at":"2026-05-18T00:28:39.324577+00:00"},{"alias_kind":"pith_short_12","alias_value":"SHFV65EZWQ74","created_at":"2026-05-18T12:31:43.269735+00:00"},{"alias_kind":"pith_short_16","alias_value":"SHFV65EZWQ74YRNK","created_at":"2026-05-18T12:31:43.269735+00:00"},{"alias_kind":"pith_short_8","alias_value":"SHFV65EZ","created_at":"2026-05-18T12:31:43.269735+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SHFV65EZWQ74YRNKRM6QPQENX4","json":"https://pith.science/pith/SHFV65EZWQ74YRNKRM6QPQENX4.json","graph_json":"https://pith.science/api/pith-number/SHFV65EZWQ74YRNKRM6QPQENX4/graph.json","events_json":"https://pith.science/api/pith-number/SHFV65EZWQ74YRNKRM6QPQENX4/events.json","paper":"https://pith.science/paper/SHFV65EZ"},"agent_actions":{"view_html":"https://pith.science/pith/SHFV65EZWQ74YRNKRM6QPQENX4","download_json":"https://pith.science/pith/SHFV65EZWQ74YRNKRM6QPQENX4.json","view_paper":"https://pith.science/paper/SHFV65EZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1712.02064&json=true","fetch_graph":"https://pith.science/api/pith-number/SHFV65EZWQ74YRNKRM6QPQENX4/graph.json","fetch_events":"https://pith.science/api/pith-number/SHFV65EZWQ74YRNKRM6QPQENX4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SHFV65EZWQ74YRNKRM6QPQENX4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SHFV65EZWQ74YRNKRM6QPQENX4/action/storage_attestation","attest_author":"https://pith.science/pith/SHFV65EZWQ74YRNKRM6QPQENX4/action/author_attestation","sign_citation":"https://pith.science/pith/SHFV65EZWQ74YRNKRM6QPQENX4/action/citation_signature","submit_replication":"https://pith.science/pith/SHFV65EZWQ74YRNKRM6QPQENX4/action/replication_record"}},"created_at":"2026-05-18T00:28:39.324577+00:00","updated_at":"2026-05-18T00:28:39.324577+00:00"}