Universal Quantification In Categorical Logic Programming by Ayalur Krishnan