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