ジョン・バエズのタングル仮説というのは、すさまじい予想で、枠（法線場だと思ってよい）や向きがついた埋め込み多様体（それがタングル）のイソトピー同値類の圏が代数的／組み合わせ的に定義できるだろう、というもの。さらに、その代数構造が、弱高次圏…

正統とは違うようなナニカを「パラ××」というそうだ。

XとYが順序集合（実際は束のときが多い）で、f:X→Y、g:Y→Xがあって、「x≦g(y) ⇔ f(x)≦y」ならば、fとgは随伴だといっていい。さて、次の状況を考える。 x≦g(y) ⇔ y≦f(x) Yの順序≦' を「x≦'y ⇔ y≦x」と定義すれば、これも随伴だと考えることができるのだが、X…