このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。
Follow @m_hiyama

ご連絡は上記 X アカウントに DM にてお願いします。

[参照用 記事]

2017-09-15から1日間の記事一覧

辻褄が合わなくて困ってしまう用語法:圏・グラフ・射の変種達

オペラッド(operad)は圏の変種ですが、最近はよく使われます。複圏(multicategory)はオペラッドの同義語だと思っていいでしょう。単一対象(single object)の複圏だけをオペラッドと呼び、色付きオペラッド(colored/coloured operad)を複圏と同義語だ…