Universal Quantification in Categorical Logic Programming