Quantum Field Theory and Coalgebraic Logic in Theoretical Computer Science

Gianfranco Basti, Antonio Capolupo, Giuseppe Vitiello

In this paper we suggest that in the framework of the Category Theory it is possible to demonstrate the mathematical and logical \textit{dual equivalence} between the category of t…