アンジェイ・ボロヴィッツ〈Andrzej Borowiec〉の論文読んでる。 [q-alg/9609011] Cartan Pairs [q-alg/9710006] Vector Fields and Differential Operators: Noncommutative Case [q-alg/9501018] Coordinate Calculi on Associative Algebras ↓をカルタン…

制約も変更も2-射なんだけど、 制約は単に、関係のあいだの包含関係。 変更は、関係のあいだのスパンまたはコスパンで定義する。 スパンを選ぶかコスパンを選ぶかは趣味の問題だが、r⊇s⊆t という形でコスパンと決めることにする。 制約は包含関係 変更は包含…