Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/st/

[S]uper[T]ype relation `st` : target i ( Supertype i )

It's an infix version of supertype morphism.

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

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