Strong endofunctors in String diagrams - PS の続き･･･ Strong monad が strong functor であり、さらに monad: になっているとき、以下を満たすものを strong monad という: 参考文献 Strong monad - Wikipedia, the free encyclopedia

以下、非常に怪しい･･･ Strong endofunctor Monoidal category において、strong endofunctor とは 1-endofunctor: 1-natural transformation: (strength) のペアで、もろもろの coherence 要件を満たすもの、であった。 Lax に対する strong と用語が被って…

以下、1-category において･･･ Monoidal category of endoprofunctors @ignore Bicategory of profunctors: で、特に profunctor の domain と codomain を 1-category に固定すると、monoidal category: を作れる。 Bicategory of 1-profunctors Arrow-frag…

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

(こちらもやっておくのが筋だろうということで) Symmetric closed monoidal category において･･･ 命題: Yoneda isomorphisms via coends 証明 Yoneda isomorphsim の flip を curry に変えるだけ: 参考文献 end in nLab Co-Yoneda lemma - PS

命題 Coproduct と coequalizer から coend が作れる。 証明 -enriched functor: について とすると は coending cowedge になる。 参考文献 Basic Concepts of Enriched Category Theory end in nLab

Dual of... Enriched end - PS Enriched end functor - PS Preservation of ends - PS 以下、symmetric closed monoidal category において･･･ 定義: Coend -functor について 定義: Coend 1-functor 命題: Internal hom functors send coends to ends 証明 …

In symmetric monoidal categories... -enriched category の composition は というカタチで定義されることになっているので か の二択になってしまうのだが、特に、 が symmetric のときは とすれば良かった。 currying がややこしくなってしまう。 参考文…

Fork 命題 Equalizer と にならって大文字と小文字でいいと思う。 参考文献 fork in nLab Equaliser (mathematics) - Wikipedia, the free encyclopedia

Arrow laws (･･･やっぱりつらいので左右逆にならないようにする) 以下、水平方向は考えないで、垂直方向のみ 1-category の composition とする。 メモ 「1.」と「 2.」は の functoriality。 「6.」は の についての extranaturality。 ただし、naturality …