On the internal logic of regular categories

Abstract

We define a way to model regular logic in regular categories. We prove an analogue to the soundness theorem and state an analogue to the completeness theorem.