Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/kyo/
(
`kx`
) Source lax co-
[K]leisli
morphism
(
`yo`
)
[Y]oneda
functor mapping
c[O]variantly
`kyo`
³
:
target
(
t
a
) (
target
(
source
(
tt
a
)
`PLL`
o
`PRL`
) (
t
o
) )
`kyo`
:
target
(
t
a
) (
target
(
source
(
tt
a
)
(
I
`L`
tt
`T`
ll
`T`
o
) ) (
t
o
) )
`kyo`
³,
`_kyo`
⁴,
`__kyo`
⁵,
`___kyo`
⁶,
`____kyo`
⁷,
`kyo_`
⁴,
`kyo__`
⁵,
`kyo___`
⁶,
`kyo____`
⁷.