Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/yok/
(
`yo`
)
[Y]oneda
functor mapping
c[O]variantly
(
`xk`
) Source lax
[K]leisli
morphism
`yok`
³
:
target
(
t
a
) (
target
(
source
(
a
)
`PLL`
tt
o
`PRL`
) (
t
o
) )
`yok`
:
target
(
t
a
) (
target
(
source
(
a
)
(
tt
`L`
tt
`T`
ll
`T`
o
)
) (
t
o
) )
`yok`
³,
`yok_`
⁴,
`yok__`
⁵,
`yok___`
⁶,
`yok____`
⁷.