Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/yo/
[Y]oneda
functor mapping
c[O]variantly
`yo`
²
:
target
(
t
a
) (
target
(
source
(
a
)
(
o
)
) (
t
o
) )
`yoi`
³
:
target
(
t
a
_
)
(
target
(
source
(
a
)
(
o
)
)
(
t
o
_
)
)
`yio`
³
:
target
(
t
_
a
)
(
target
(
source
(
a
)
(
o
)
)
(
t
_
o
)
)
`yoo`
³
:
target
(
t
a
a
)
(
target
(
source
(
a
)
(
o
)
)
(
t
o
o
)
)
`yo`
²,
`yo_`
³,
`yo__`
⁴,
`yo___`
⁵,
`yo____`
⁶,
`yo_____`
⁷.