計算に使う3-圏Kについて： Kは三重圏の3方向のうち一方向（verticalとする）をピンチした3-圏である。 ピンチングにより次元は減らないが、射の種類は8種から6種に減る。 縦横ニ方向だけ考えると、二重圏のピンチングで弱2-圏（双圏）になる。 縦1-射がなく…