positive/negative(initial/final)が、classical/linearに対応するって何とも意外。 ユニット型や直積がpositiveに分類されているのもなんだか不思議な
感じ……