Title: Categorical Linear Algebra -- A Setting for Questions from Physics and Low-Dimensional Topology Author: David N. Yetter URL: http://math.ucr.edu/home/baez/yetter.pdf 19ページ、印刷済み これ、実はムジュカシイのだけど、いつも使ってい…

昨日の「対蹠作用、直進圏、最小自由生成」の補足。ライデマイスター／トゥラエフ移動の関係式を次のように番号付ける。 0 -- ジグザグ（カウフマンによる番号） I -- フリップターン II -- ブレイド逆元 III -- ブレイド関係式（アルチン） IV -- トェラエ…

カーツの教科書の最初（9ページ）に面白い表があった。 X上の余代数 プロセス X→1 停止（事実上何も起きない） X→A a∈Aを1回だけ出力（繰り返しはない） id: X→X 無限に動き続けるメトロノーム X→A×X Aのストリーム（無限リスト） X→A×X + 1 Aの有限／無限リ…

カーツが練習問題などが付いた教科書風論説を書いている。 Title: Coalgebras, Stone Duality, Modal Logic (26th June 2006) Author: Alexander Kurz URL: http://www.cogsci.uni-osnabrueck.de/CL/conferences/ESSLLI2006/courses/Kurz.CoalgebrasStoneDua…