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