 This is opposed to geometric theory which involves partial functions (or binary relationships) or existential quantors - see e.g.Euclidean geometry where the existence of points or lines is postulated.An Algebraic Theory T is a category whose objects are natural numbers 0, 1, 2..., and which, for each n, has an n-tuple of morphisms