Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Binary Tree/
:
Supertype
(
Binary Tree
i
) ~ (
Fixed
(
Along
i
`T'TT'I`
Twice
)
)
:
Objective
(
Binary Tree
i
) ~ (
Twice
(
Supertype
(
Binary Tree
i
)
)
`P`
i
)
Covariant Endo Functor
from
Arrow
into
Arrow
:
>
`yo`
:
Binary Tree
a
`AR_______`
a
`AR`
o
`AR______`
Binary Tree
o
Factoring through a
limit
from
Arrow
into
Arrow
:
>
`lo`
:
a
`AR_`
Twice
(
Supertype
(
Binary Tree
o
)
)
`AR_______`
a
`AR_`
o
`AR_______`
a
`AR_`
Binary Tree
o