Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/hc/

[H]om functor in derived [C]artesian closed category `hc` : target i ( t a o )

Basically it's just an identity morphism equipped with basetype relation:

`hc` : Arrow a o `AR_______` a `AR_` o `hc` : Given a o `AR_______` a `AR_` o `hc` : Event a o `AR_______` a `AR_` o `P` a `hc` : State a o `AR_______` a `AR_` o `P` a `hc` : Scope a o `AR_______` a `AR_` o `P` ( o `AR` a )

It also works for jointed functors:

`hc` : t `JNT` Given a `T'I_` o `AR_______` a `AR_` t o `hc` : t `JNT` State a `T'I_` o `AR_______` a `AR_` t `T` Along a o

Available stretched versions (starting precedence is 9):

`hc_`, `hc__`, `hc___`, `hc____`, `hc_____`, `hc______`