GitHub - mathink/Cat_on_Coq: Setoid-based Category Theory in Coq.You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.
絵算したい人のためにオススメする3つのストリング図解説 （とオマケ） - 檜山正幸のキマイラ飼育記 (はてなBlog)
[追記]絵算をやってみたい人は、知識の習得だけでなく、双対や随伴に強くなるためのトレーニングを必ずしましょう。[/追記] 注意：人名はカタカナ書きしますが、発音の正確性（むしろ類似性）は保証できません。 まず、ピエル-ルイ・キュリア（Pierre-Louis Curien、http://www.pps.univ-paris-diderot.fr/~curien/）の "The Joy of String Diagrams" ： Title: The Joy of String Diagrams Author: Pierre-Louis Curien URL: http://hal.archives-ouvertes.fr/docs/00/69/71/15/PDF/csl-2008.pdf URLに年号らしき2008が埋め込まれてますが、日付は May 14, 2012、たぶん改訂されたので
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
