2011-03-16から1日間の記事一覧
「デカルト作用圏が面白い」という記事で、Cartesian effect categories are Freyd-categories (PDF, 23pages) という論文を紹介しました。3人の著者Dumas, Duval, ReynaudをDDRと略したりしたのですが、どんな発音か気になる。外国の人名や訳語がない技術用…
このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。
Follow @m_hiyama
ご連絡は上記 X アカウントに DM にてお願いします。
「デカルト作用圏が面白い」という記事で、Cartesian effect categories are Freyd-categories (PDF, 23pages) という論文を紹介しました。3人の著者Dumas, Duval, ReynaudをDDRと略したりしたのですが、どんな発音か気になる。外国の人名や訳語がない技術用…