Pith. sign in

REVIEW 1 cited by

An elementary proof of the naturality of the Yoneda embedding

Not yet reviewed by Pith; the record is open.

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 2209.12575 v3 pith:CW2474TZ submitted 2022-09-26 math.CT

An elementary proof of the naturality of the Yoneda embedding

classification math.CT
keywords embeddingyonedanaturalproofcategoriescontractibleelementaryfurther
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We give a short proof that the Yoneda embedding is natural for $\infty$-categories, and further prove that the space of natural transformations that are, pointwise, the Yoneda embedding, is contractible.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

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

  1. Smashing, Balmer, Zariski spectra: an ideal approach

    math.AT 2026-07 accept novelty 7.0

    A single frame-theoretic construction, the Zariski frame of radical categorical ideals, unifies Zariski spectra, Balmer spectra, and smashing frames in higher algebra.