「左加群は前層、右加群は余前層、双加群はプロ関手」で述べた事を敷衍して、左状態遷移系は前層、右状態遷移系は余前層、双状態遷移系はプロ関手であることを述べます。前層・余前層・プロ関手を、状態遷移系としても解釈できることになります。$`\newcomma…