Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/kya/
(
`kx`
) Source lax co-
[K]leisli
morphism
(
`ya`
)
[Y]oneda
functor mapping
contr[A]variantly
`kya`
³
:
target
(
t
a
) (
target
(
source
(
tt
o
)
`PLL`
a
`PRL`
) (
t
o
) )
`kya`
:
target
(
t
a
) (
target
(
source
(
tt
o
)
(
I
`L`
tt
`T`
ll
`T`
a
) ) (
t
o
) )
`kya`
³,
`_kya`
⁴,
`__kya`
⁵,
`___kya`
⁶,
`____kya`
⁷,
`kya_`
⁴,
`kya__`
⁵,
`kya___`
⁶,
`kya____`
⁷.