Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Prefix Tree/
:
Supertype
(
Prefix Tree
i
ii
) ~ (
Prefix List
(
Construction
(
Prefix List
i
)
ii
)
)
:
Basetype
(
Prefix Tree
i
ii
) ~ (
Unit
`S`
List
(
Supertype
(
Construction
(
Prefix List
i
)
ii
)
)
)
Covariant Functor
from
Arrow
into
Arrow
:
>
`yo`
:
Prefix Tree
_
a
`AR_______`
a
`AR`
o
`AR______`
Prefix Tree
_
o
Factoring
through
a
limit
from
Arrow
into
Arrow
:
`hop`
:
a
`AR`
Unit
`AR___`
a
`AR`
List
(
Supertype
(
Construction
(
Prefix List
i
)
o
)
)
`AR__`
a
`AR`
Prefix Tree
o