TQFTつうか、TQFTの一般化であるCategorical General Field Theoriesにならって、Categorical Formal Language Theoriesを定義したい。準備まず、アンビエント（ユニバーサル）なモデル圏としてはωCPOを採用。しかし、枠組みとしてはトレース付きベキ等余対…

ambientに関して、本日のgoogle： アンビエント 1,020,000件 アンビアント 557件

フロベニウス代数を調べてたら、絵算（graphical/pictorial calculus）がキレイな論文を見つけた。 http://arxiv.org/abs/math.CT/0309465 "Correspondences of ribbon categories" Authors: J"urg Fr"ohlich, J"urgen Fuchs, Ingo Runkel, Christoph Schwei…

TQFT関係で、シーガル（Graeme Segal）つう人がよく登場する。"Time to celebrate"（http://www.maths.ox.ac.uk/news/newsletters/200303/html/newsletter-3.html）にティルマンが出てたりするが、ここに、シーガル（Graeme Segal）の名も登場する。The Math…