Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/yak/
(
`ya`
)
[Y]oneda
functor mapping
contr[A]variantly
(
`xk`
) Source lax
[K]leisli
morphism
`yak`
³
:
target
(
t
a
) (
target
(
source
(
o
)
`PLL`
tt
a
`PRL`
) (
t
o
) )
`yak`
:
target
(
t
a
) (
target
(
source
(
o
)
(
tt
`L`
tt
`T`
ll
`T`
a
)
) (
t
o
) )
`yak`
³,
`yak_`
⁴,
`yak__`
⁵,
`yak___`
⁶,
`yak____`
⁷.