Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/has/
[H]om
functor
mapping
contr[A]variantly
through
[S]um
`has`
:
source
a
o
`AR____`
source
aa
o
`AR____`
target
aaa
o
Hom
functors preserve
sums
(
colimits
):
>
`has`
:
o
`RA_`
a
`AR_______`
o
`RA_`
aa
`AR_______`
o
`RA_`
a
`S`
aa
>
`has`
:
o
`RA_`
a
`AR_______`
o
`RA_`
aa
`AR_______`
o
`RA_`
Stops
a
aa
>
`has`
:
o
`RA_`
a
`AR_______`
o
`RA_`
a
`AR_______`
o
`RA_`
Opted
a
>
`has`
:
o
`RA_`
Unit
`AR_______`
o
`RA_`
Unit
`AR_______`
o
`RA_`
Boolean
>
`has`
:
o
`RA_`
Unit
`AR_______`
o
`RA_`
a
`AR_______`
o
`RA_`
Maybe
a
>
`has`
:
o
`RA_`
Unit
`AR_______`
o
`RA_`
Nonempty List
a
`AR_______`
o
`RA_`
List
a
Available stretched versions (starting precedence is
8
):
`has_`
,
`has__`
,
`has___`