Murat Kasimov
More about me
Я language (β)
/Я language (β)/Glossary/Yoneda/
Yoneda lemma
helps to derive canonical
functor
mappings to its
Yonedified
form:
map
[
+
]
:
source
a
o
`AR___`
target
(
t
a
)
(
t
o
)
|
canonical covariant map
`yo`
:
target
(
t
a
)
(
target
(
source
a
o
)
(
t
o
)
)
|
covariant Yoneda version
map
[
-
]
:
source
o
a
`AR___`
target
(
t
a
)
(
t
o
)
|
canonical contravariant map
`ya`
:
target
(
t
a
)
(
target
(
source
o
tspan
)
(
t
o
)
)
|
contravariant Yoneda version