Describe how existential quantifiers get modeled in a finitely complete category.
]]>Yes, perhaps.
]]>Since cartesian theory redirects to essentially algebraic theory, perhaps the two pages should be merged.
]]>Inserted two syntactic characterizations of cartesian theories, and references to the Palmgren-Vickers paper.
Steve Vickers
]]>