2005-06-28から1日間の記事一覧
セリンガー（Peter Selinger）がアブラムスキー／クック（Abramsky/Coecke）のstrongly compact closed categoriesに関する論文を書いている。が、"strongly"はよくないと感じたらしく、用語をdagger compact closed categoriesに直している。一般的にdagger…
このブログの更新は X（旧Twitter）アカウント @m_hiyama で通知されます。
Follow @m_hiyama
ご連絡は上記 X アカウントに DM にてお願いします。
［参照用 記事］
