PS

2015-11-21から1日間の記事一覧

Enriched profunctors

Symmetric closed monoidal category において・・・ Profunctor なる形の -erirched functor のことを と書き、-enriched profunctor と呼ぶことにする。 1-category of profunctors Horizontal composition of profunctors Profunctor: について とすると coe…