A remark on Yoneda's Lemma

Shoji Yokura

A remark on Yoneda's Lemma

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1712.02064 v1 pith:SHFV65EZ submitted 2017-12-06 math.CT math.AGmath.AT

Shoji Yokura This is my paper · ORCID

classification math.CTmath.AGmath.AT

keywords functorgivennaturalrepresentablecanonicalcategorycontravariantcovariant

verification ladder T0 review T1 audit T2 compute T3 formal

0 comments

read the original abstract

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".

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Relational Observables, Quiddities, and Structural Realism
physics.hist-ph 2025-07 conditional novelty 7.0 of 10

Non-modal properties may be understood as features that appear only from an internal perspective on an underlying modal, relational structure.

Pith tools