Vがベクトル空間で、A⊆V が基底とする。Aは標準的に（canonically）V*に埋め込める。この埋込みを線形に拡張すると、V→V* ができる。単射になる。 Vの基底を選ぶと、単射V→V*が決まる。 A→V*でもV→V*でもAの像は同じ集合。その像の集合をA*とする。もし、V→V…

F:C→D の逆関手は G:D→C で、F*G = C, G*F = D であるもの。ちなみに、FからGは神託構成になる。別な言い方をすると、GはFを含むイプシロン項で表現される。Gが亜群だとする。亜群では、(-)-1が反変関手となる、Inv:G→G が、Inv(f) := f-1 で定義される。こ…

ポルテ・マント フランス語、画像検索によると、外套かけみたいなものか？

絵素： お絵描きの基本素材 絵図的操作： 絵素の組み合わせ方や絵素の変形加工法、構成的・作業的 部品： 与えられた基本の絵素から絵図的な操作で作ったモノ。後で使うためにストックする。 神託： 絵図的な操作で作れないものを作ってくれる神様がいるので…