notifications

Sequent Calculus

Wikipedia nLab

Category

Tautology

‘Identity’.

AA

Syllogism

‘Composition’.

ABBCAC

Monoidal Category

?

‘Monoid product’.

ABCDA,CB,D

?

‘Composition’.

Symmetric Monoidal Category

Exchange

‘Symmetry’.

A,BB,A

Cartesian Monoidal Category

?

‘Diagonal’.

AA,A

?

‘’.

AI

Cartesian Closed Category

?

A,BCABC

?

‘Evaluation’.

A,ABB

References