Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/ya'nt'ya/
(
`ya`
)
[Y]oneda
functor mapping
contr[A]variantly
(
`nt`
)
[N]atural [T]ransformation
between functors
(
`ya`
)
[Y]oneda
functor mapping
contr[A]variantly
`ya'nt'ya`
⁴
:
target
(
t
a
) (
target
(
source
(
(
o
)
`PLL`
a
`PRL`
) (
tt
o
) )
`ya'nt'ya`
:
target
(
t
a
)
(
target
(
source
(
o
)
(
I
`L`
tt
`T`
ll
`T`
a
)
)
(
tt
o
)
)
`ya'nt'ya`
⁴,
`ya'nt_'ya`
⁵,
`ya'nt__'ya`
⁶,
`ya'nt___'ya`
⁷,
`ya'nt____'ya`
⁸,
`ya'nt_____'ya`
⁹.