Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/bt/

[B]ase[T]ype relation `bt` : target i ( Basetype i )

It's an infix version of basetype morphism.

You cannot use this operator standalone, only in operator composites:

`hc'bt` : i `AR____` t ( Basetype a ) o `hu'bt` : t i a `AR____` target o ( t i ( Basetype o ) ) `ho'bt` : t i a `AR____` target ( source ( Basetype a ) o ) ( t i o ) `ha'bt` : t i a `AR____` target ( source ( Basetype o ) a ) ( t i o )