Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Prefix Tree/

: Supertype ( Prefix Tree i ii ) ~ ( Prefix List ( Construction ( Prefix List i ) ii ) ) : Objective ( Prefix Tree i ii ) ~ ( Unit `S` List ( Supertype ( Construction ( Prefix List i ) ii ) ) )

Covariant Endo 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:

`lo` : a `AR` Unit `AR___` a `AR` List ( Supertype ( Construction ( Prefix List i ) o ) ) `AR__` a `AR` Prefix Tree o `lu` : Unit `AR___` List ( Supertype ( Construction ( Prefix List i ) o ) ) `AR__` Prefix Tree o

Some related instantiated morphisms:

> key : i `AR____` Supertype ( Prefix Tree i ii `AT_` Stops i ii )