一様（uniform）と二様（biform）なシーケント

シーケントの両側でカンマの解釈が一致するものをコンパクトシーケントと呼んできたが、コンパクトでないシーケントの明示的な呼び方がない。そこで：

• 一様（uniform）シーケント -- 左右のカンマが同じ意味
• 二様（biform）シーケント -- 左右のカンマが違う意味

二様シーケントの解釈にはモノイド積が2つある圏が必要。あるいは、コッチのほうがいいような気がするが、モノイド圏を2つ用意して、二様シーケントは斜め射（oblique morphism/arrow）とする。こうすると、二様シーケントの解釈には、2つの圏を行ったり来たりすることになる。