Murat Kasimov
More about me
Я language (β)
/Я language (β)/Glossary/Yoneda/
Yoneda lemma
helps to derive
functor
definitions to its
Yonedified
form:
__ :
source
a
o
`AR____`
target
(
t
a
)
(
t
o
)
|
canonical covariant map
`yo`
:
t
a
`AR____`
target
(
source
a
o
)
(
t
o
)
|
covariant Yoneda version
__ :
source
o
a
`AR____`
target
(
t
a
)
(
t
o
)
|
canonical contravariant map
`ya`
:
t
a
`AR____`
target
(
source
o
a
)
(
t
o
)
|
contravariant Yoneda version