コンウェイ圏まずコンウェイ圏の定義： Cがデカルト圏で、コンウェイ不動点演算子を持つとき、コンウェイ圏と呼ぶ。 コンウェイ不動点演算子 FixAX:C(A×X, X)→C(A, X) は、 変数Aに関して自然性を持つ。（タイトニング類似） 変数Xに関して、変形対角自然性…

http://ncatlab.org/nlab/show/simple+object と http://ncatlab.org/nlab/show/semisimple+category より引用： An object X in a category C with a zero object 0 is simple if there are precisely two quotient objects of X: 0 and X. If C is abelian…

「オペランド」より「パラメータ」がふさわしいような気がするんで、replaceした。演算の対象物がオペランドで、その意味ではスタック上に載っているデータがオペランドとも言える。 最小限備えるべきインストラクションは、綴りも含めて決めておこう。スタ…