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