Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/dcps'yo/
(
`dcps`
)
[D]ay [C]onvolution
from
[P]roduct
into
[S]um
(
`yo`
)
[Y]oneda
functor
mapping
c[O]variantly
`dcps'yo`
:
target
( (
t
a
)
`P`
(
tt
aa
)
)
(
target
(
source
(
a
`S`
aa
)
(
o
)
)
(
t
o
)
)