Yoneda Lemma

© All Rights Reserved

2 views

Yoneda Lemma

Yoneda Lemma

© All Rights Reserved

- 2.59
- Assam CEE 2014 Question Paper - Mathematics
- HomAl
- Famous Mathematics Quotes
- Slope & Y-Intercept
- pdf73
- CV_NinhVanThu
- STAR 3rdGrade Math RTQ
- 8th grade math practice 2
- 38_2_S11_sol
- 10th 1040106_A1 Mathematics QP
- Quantitative Aptitude Questions and Answer
- 11MM - Chapter 2 Worked Solutions
- math202Key
- F3D 920 Generic Tutorial
- maths paper.pdf
- 1998FermatContest.pdf
- Review Table
- foundations of algebra syllabus fall 2016
- Geometry CP Pacing Guide Summer 2017

You are on page 1of 1

Given a category A, and object A Ob(A), we get the representable functor Hom(A, ) : A Set by

defining Hom(A, )(B) = HomA (A, B) and, for each f : B C in A, Hom(A, )(f ) : HomA (A, B)

HomA (A, C) (which we will write as Hom(A, f )) by Hom(A, f )(g) = f g.

Given a category A, and morphism f : A B, we get a natural transformation Hom(f , ) : Hom(B, )

Hom(A, ) by defining, for each C Ob(A), Hom(f , )C : Hom(B, C) Hom(A, C) (which we will

write as Hom(f , C)) by Hom(f , C)(g) = g f .

Given categories A, B, and functors F, G : A B, we define Nat(F, G) = { : F G}, the collection of

all natural transformations from F to G.

Yoneda Lemma. Given a category A, an object A Ob(A), and a functor F : A Set, there exists a

bijection YF,A : Nat(Hom(A, ), F ) F A.

Proof. How should we define YF,A ? Given a natural transformation = {B : HomA (A, B) F B}BA

in Nat(Hom(A, ), F ), we would like to determine an element of F A to be YF,A (). But the only aspect

of which has anything to do with F A is the component of at A, that is, A : HomA (A, A) F A.

However, A is only a map to F A, so we need pick something in the domain HomA (A, A) in order to get

our specific element of F A. But A is an arbitrary category - the only thing we know about HomA (A, A) is

the fact that there is an identity idA HomA (A, A) for every A Ob(A). Thus, the only possible choice

is YF,A () = A (idA ) F A.

Now we need to find an inverse map ZF,A : F A Nat(Hom(A, ), F ). That is, given an x in the set F A,

we would like to determine a natural transformation : Hom(A, ) F - that is, a collection of maps

{B : HomA (A, B) F B}BA indexed by the objects of A - to be ZF,A (x). Thus, given our x F A,

we need to determine for each B A an B : HomA (A, B) F B, sending each f HomA (A, B) to

an element of the set F B. But f : A B has nothing to do with either x F A or the set F B - the

only other data we have relating to it is F f HomSet (F A, F B), the image of f under the functor F .

So we have our x F A, and F f HomSet (F A, F B), and we want to pick an element of F B - our only

option is to choose F f (x). Thus, the only possible choice for ZF,A (x) = {B : HomA (A, B) F B}BA

was to have B : HomA (A, B) F B defined by B (f ) = F f (x). To verify that this definition of

ZF,A in fact gives a natural transformation, we need to check that for any g : B C in A, we have

F g ZF,A (a)B = ZF,A (a)C Hom(A, g); but this is equivalent to having, for each f HomA (A, B),

F g(F f (a)) = F (g f )(a), which is true because F is a functor.

These maps are inverse to each other - given a F A, we have

YF,A (ZF,A (a)) = ZF,A (a)A (1A ) = F (1A )(a) = idF A (a) = a,

and given an Nat(Hom(A, ), F ), we have for each B A that

ZF,A (YF,A ())B (f ) = ZF,A (A (idA ))B (f ) = F f (A (idA )) = B (Hom(A, f )(idA )) = B (f idA ) = B (f ),

so that ZF,A (YF,A ()) = . Thus, we have shown that there is a bijection between Nat(Hom(A, ), F )

and F A. One can also easily check that this bijection is natural in both A and F .

- 2.59Uploaded byEric Kial
- Assam CEE 2014 Question Paper - MathematicsUploaded byaglasem
- HomAlUploaded byHà Hoàng
- Famous Mathematics QuotesUploaded byAuric Legato Bianan
- Slope & Y-InterceptUploaded byjairusr
- pdf73Uploaded byAnonymous 8pCXXs
- CV_NinhVanThuUploaded byapi-3798729
- STAR 3rdGrade Math RTQUploaded byrhlim54
- 8th grade math practice 2Uploaded byapi-248877347
- 38_2_S11_solUploaded byuttamsaxena
- 10th 1040106_A1 Mathematics QPUploaded byAkanksha Kevalramani
- Quantitative Aptitude Questions and AnswerUploaded byprasanthrajs
- 11MM - Chapter 2 Worked SolutionsUploaded byPhuong Ngan Nguyen
- math202KeyUploaded byDilara Semerci
- F3D 920 Generic TutorialUploaded byDumi Bogdan
- maths paper.pdfUploaded byzafir
- 1998FermatContest.pdfUploaded bySahabudeen Salaeh
- Review TableUploaded byPuskar Bist
- foundations of algebra syllabus fall 2016Uploaded byapi-316619857
- Geometry CP Pacing Guide Summer 2017Uploaded byMichelle New
- MathsUploaded bybluepasta
- 0086-0087Uploaded byamien2011
- Curriculum NightUploaded bykatydailey
- mawieUploaded byFrederico Sande Viana
- Chapter 10Uploaded bykwhitley3
- 700002512_Topper_2_101_1_3_Mathematics_question_up201807111452_1531300946_9072.pdfUploaded bypass#word
- Equações Quadráticas - IIT - JEEUploaded bylucas
- MATH VIIIUploaded byCatherine Landicho Sabado-Legarde
- Angles-2Uploaded byBen Ibañez
- 3_Differentiation_rules.pdfUploaded byRomesh Perera

- Platos Ghost Review ManinUploaded byAdrian
- RoadmapUploaded byAdrian
- TaichiUploaded byAdrian
- Open With a Promise, Close With a JokeUploaded byAdrian
- Kelly, Brett - Evernote Essentials.pdfUploaded byAdrian
- Partitions.10Uploaded byAdrian
- MakeIndex DocumentationUploaded byAdrian
- Book Production GuideUploaded byAdrian
- (Article) Langhe, Hartmann Et AlUploaded byAdrian
- What is a Survey PaperUploaded byAdrian
- Homology Commutes With Direct SumsUploaded byAdrian
- Russell, Bertrand - The Divorce Between Science and CultureUploaded byapi-3721100
- Example MLAUploaded byAdrian
- Calibre ManualUploaded byAdrian
- Ulysses for IOS ShortcutsUploaded byAdrian
- Finite FieldsUploaded byAdrian
- Finite FieldsUploaded byAdrian
- hartkeUploaded byandysarmiento
- Vakil, Ravi - Spectral Sequences, Friend or FoeUploaded byAdrian
- Cibils, Claude - On H1 of Finite Dimensional AlgebrasUploaded byAdrian
- Nisus Writer Pro ManualUploaded byAdrian
- BBEdit User Manual (11.5.1)Uploaded byAdrian
- Fuetterer, Schwab - Spectral SequencesUploaded byAdrian
- Cohomology and Spectral SequencesUploaded byAdrian
- COP9 Quick Start Guide-510bUploaded byAdrian
- May, Rollo (Ed) - Existence, A New Dimension in Psychiatry and PsychologyUploaded byAdrian
- The Organism OcrUploaded bypiedrafilosofal

- Sheaves, Cosheaves and ApplicationsUploaded byTa Thanh Dinh
- (Encyclopedia of Mathematics and its Applications) Francis Borceux - 001_ Handbook of Categorical Algebra_ Volume 1, Basic Category Theory-Cambridge University Press (1994).pdfUploaded byEdned
- Baez, Higher-Dimensional Algebra and Topological Quantum Field TheoryUploaded byΣωτήρης Ντελής
- Identity Types in Algebraic Model Structures and Cubical SetsUploaded byYork Zeng
- Category TheoryUploaded byAhmad Alhour
- Cats NotesUploaded byLBrouwer
- Category Theory for ProgrammersUploaded byWill
- catlog1AUploaded bynumb25
- Anirudh Sankar-Monads and Algebraic StructuresUploaded bygermanschultze
- 7 SketchesUploaded byWill
- Duality in Waldhausen CategoriesUploaded byblexim
- Murfet - Abelian Categories.pdfUploaded byAdrian
- Rossiter and Heather's Free and Open Systems TheoryUploaded byMario Aburto Castellanos
- Shahn Majid- Algebras and Hopf Algebras in Braided CategoriesUploaded byjsdmf223
- Abduction: A Categorical CharacterizationUploaded bymatt
- 7Sketches.pdfUploaded byatifchaudhry
- Yoneda LemmaUploaded byAdrian
- Kelly Enriched CatUploaded byNico Brasil
- Vakil - Foundations of Algebraic GeometryUploaded byfdfefsfsf
- I.C. Baianu- Quantum Genetics in terms of Quantum Reversible Automata and Quantum Computation of Genetic Codes and Reverse TranscriptionUploaded byJinn679
- Basic Category Theory - CatsmoederUploaded bygurragrus
- Cat CroppedUploaded byHodge Number
- 7Sketches.pdfUploaded byGuillermo Aleman
- Kosta Dosen, Zoran Petric-Proof-Theoretical Coherence (2015)Uploaded byJoseph Affonso Xaxo
- TEAJ.pdfUploaded byAngelo Malerba
- Introductory lectures on topological quantum field theory - 48.pdfUploaded byJohn Bird
- 18Uploaded byEpic Win
- Algebraic GroupsUploaded byHonghao Gao
- Lecture Notes in Category TheoryUploaded bygermanschultze
- 1812.07599Uploaded byFarley Knight