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