代数と余代数 最初の一歩 : 形式的体系の初歩的知識を仮定して代数と余代数の紹介を試みる。特別な条件を満たすソート付き形式的体系の指標(signature)を代数指標/余代数指標と定義して、それのモデルとして代数/余代数を導入する。余代数とオブジェクト…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
代数と余代数 最初の一歩 : 形式的体系の初歩的知識を仮定して代数と余代数の紹介を試みる。特別な条件を満たすソート付き形式的体系の指標(signature)を代数指標/余代数指標と定義して、それのモデルとして代数/余代数を導入する。余代数とオブジェクト…