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

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

参照用 記事

2020-05-12から1日間の記事一覧

任意の圏を等式により2-圏とみなす

話したいことはタイトルのとおりの小ネタなんですが、簡単に動機を説明しておきます。ゴグエン/バーストル〈Joseph Goguen and Rod Burstall〉のインスティチューション〈institution〉は、論理やプログラムの構文論と意味論〈モデル論〉の抽象的枠組みを提…