Murat Kasimov

More about me

Я language (β)

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

: Supertype ( Binary Tree i ) ~ ( Recursive ( Branching Product Twice i ) ) : Objective ( Binary Tree i ) ~ ( i `P` Twice ( Binary Tree i ) )

Covariant Endo Functor from Arrow into Arrow:

`yo` : Binary Tree a `AR_____` a `AR` o `AR____` Binary Tree o

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

`yokl` : Binary Tree a `AR___` a `AR_` tt `L` tt `T` ll `L` Binary Tree `T` l `T` o `AR_` tt ( Binary Tree o )

Lax Semi Monoidal Functor from Product into Product through Arrow:

`yp` : ( Binary Tree i ) `P` ( Binary Tree `L` Binary Tree `T` l `T` ii ) `AR___` Binary Tree ( i `P` ii )

Factoring through a limit from Arrow into Arrow:

`lo` : a `AR` o `AR___` a `AR` Twice ( Binary Tree o ) `AR__` a `AR` Binary Tree o `lu` : o `AR___` Twice ( Binary Tree o ) `AR__` Binary Tree o