Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/ya/
[Y]oneda
functor mapping
contr[A]variantly
`ya`
²
:
target
(
t
a
) (
target
(
source
(
o
)
(
a
)
) (
t
o
) )
`yai`
³
:
target
(
t
a
_
)
(
target
(
source
(
o
)
(
a
)
)
(
t
o
_
)
)
`yia`
³
:
target
(
t
_
a
)
(
target
(
source
(
o
)
(
a
)
)
(
t
_
o
)
)
`yaa`
³
:
target
(
t
a
a
)
(
target
(
source
(
o
)
(
a
)
)
(
t
o
o
)
)
`ya`
²,
`ya_`
³,
`ya__`
⁴,
`ya___`
⁵,
`ya____`
⁶,
`ya_____`
⁷.