It is proved that equations between arrows assumed for cartesian categories are maximal in the sense that extending them with any new equation in the language of free cartesian categories collapses a cartesian category into a preorder. An analogous result holds for categories with binary products, which may lack a terminal object. The proof is based on a coherence result for cartesian categorie...

the problem of mental causation was one of the most important problems in philosophy of mind at least from the time of descartes. since cartesian philosophers found the causal interaction of the soul and the body problematic, they explained away the direct relation between the soul and the body in different ways. however, the problem was not resolved in contemporary philosophy of mind when the ...

The Cartesian monoid of partial piecewise shift operators is developed as a model for programming systems such as Backus’ FP. Special attention is paid to those elements which are equationally implicitly definable.

A new and very general beam solution of the paraxial wave equation in Cartesian coordinates is presented. We call such a field a Cartesian beam. The complex amplitude of the Cartesian beams is described by either the parabolic cylinder functions or the confluent hypergeometric functions, and the beams are characterized by three parameters that are complex in the most general situation. The prop...

Descartes maintained that sensations of color and the like misrepresent the material world in normal circumstances. Some prominent scholars have argued that, to explain this Cartesian view, we must attribute to Descartes a causal account of sensory representation. I contend that neither the arguments motivating this reading nor the textual evidence offered in its support is sufficient to justif...