Yoneda Lemma
The Yoneda Lemma — the most fundamental result in category theory — is earned inside Category τ. Every object is determined by its relationships to all oth…
Mathematics
Structural support result
ENRICH
Book I
Book II
Public
Manuscript
Lean · Formalized
Kernel
In plain language
The Yoneda Lemma — the most fundamental result in category theory — is earned inside Category τ. Every object is determined by its relationships to all oth…
Overview
The Yoneda Lemma — the most fundamental result in category theory — is earned inside Category τ. Every object is determined by its relationships to all other objects.
Result Statement
Yoneda Lemma earned inside Category τ. Objects determined by their relationships. Status: Internally addressed.
Cross-references
Glossary terms
Metaphysics: Relation (multi-source admissible morphism)