このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

2015-11-09から1日間の記事一覧

たまに見るといいよ

リンク メモ

マイク・ステイのブログ https://reperiendi.wordpress.com/

ローヴェル・セオリーとか豊穣化とか

プログラム意味論 リンク 高次圏論

Title: Distributive laws for Lawvere theories Author: Eugenia Cheng （圏論ねーさん） URL: http://arxiv.org/pdf/1112.3076.pdf Pages: 36p. 人： http://arxiv.org/find/math/1/au:+Shulman_M/0/1/0/all/0/1 http://arxiv.org/find/math/1/au:+Garner_…

シーガル条件と計算現象

プログラム意味論 高次圏論

Title: Segal condition meets computational effects Author: Paul-Andre Mellies URL: https://hal.inria.fr/file/index/docid/702065/filename/segal.pdf Pages: 21p.