アレ、アレレ？形式言語理論の言語は、列とかツリーとかグラフとかの集合だけど、結局は関手圏なのではないか。GとHがグラフのとき、GからHへのグラフ準同型の集合は、準同型を関手とみなしてよいので、関手圏 [G, H] となる。形式言語理論のたいていの問題…

ドゥニシャルル・シザンスキー（Denis-Charles Cisinski）とアムノン・ネーマン（Amnon Neeman）の "Additivity for derivator K-theory" http://www.math.univ-toulouse.fr/~dcisinsk/addkth.pdf より： Der-1 (Non-triviality axiom) D(Σ(i∈I | Xi)) → Π(i…