Inmersión de Yoneda
- Mathematics & Logic -
Pure Mathematics Dictionary
Definición
El funtor canónico totalmente fiel y: C → [C^{op}, Set] que envía cada objeto X de una categoría C al funtor representable Hom_C(-,X), insertando así a C en la categoría de presheaves y codificando objetos por sus aplicaciones entrantes.