Using the theory of categories as a framework, this book develops a duality theory for theories in first order logic …
