You are currently browsing the category archive for the ‘Articles’ category.

Galli, A., Reyes G.E. and M. Sagastume (2003). Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in Algebraic Logic. Fuzzy sets and systems 138, 3-23.

We extend Makkai’s proof of strong amalgamation (push-outs of monos along arbitrary maps are monos) from the category of Heyting algebras to a class which includes the categories of symmetric bounded distributive lattices, symmetric Heyting algebras, Heyting modal S4-algebras, Heyting modal bi-S4-algebras, and Lukasiewicz n-valued algebras. We also extend and improve Pitt’s proof that strong amalgamation implies Beck-Chevalley for filters of Heyting algebras to exact categories with certain push-outs. As a consequence, a form of the Interpolation Lemma for some non-classical calculi is proved.

Strong Amalgamation

Kock A. and G.E. Reyes

Theory and Applications of Categories, Vol. 11, No. 14, 2003, pp. 321–336.

ABSTRACT. We take some first steps in providing a synthetic theory of distributions. In particular, we are interested in the use of distribution theory as foundation, not just as tool, in the study of the wave equation.

Some calculus with extensive quantities

Reyes G.E. and A. Royer (2003) On the law of motion in Special Relativiyt. arXiv: physics/0302065 v1 19 Feb 2003

Newton’s law of motion for a particle of a given mass subject to a force at a given time may formulated either as “force = rate of change of the quantity of motion” or, since the mass is constant, as “force = mass times acceleration”, where velocity and acceleration are relative to an inertial frame. This law may be interpreted in either of two ways: (1) The force acting on the particle at the given time during an infinitesimal lapse of time imparts to the laboratory a boost, while the particle maintains its velocity relative to the new frame. (2) The force acting on the particle at a given time during an infinitesimal lapse of time imparts to the particle a boost relative to its proper frame which moves with the same velocity relative to the laboratory. We show that the relativistic law of motion admits both interpretations, the first of which is in fact equivalent to this law. As a consequence, we show that the relativistic law of motion may also be formulated as “force = mass times acceleration” in analogy with Newton’s law, but with a relativistic mass and a relativistic acceleration defined in terms of the relativistic addition law of velocities, rather than ordinary mass and ordinary vectorial addition of velocities that lead to the classical acceleration and to Newton’s law.

Kock A. and G. E. Reyes. Distributions in the Cahiers topos. 34 pages. Version pré́liminaire (February 2002) (SDG)

Royer A. and G.E. Reyes. Lorentz transformation matrices in (3,1) block form. 18 pages. Version préliminaire (Août 2001)

Reyes G.E. and A. Royer . Forces and the equation of motion in special relativity. 29 pages. Version préliminaire (Août 2001)

Kock A. and G.E. Reyes (2001) Addendum: Aspects of fractional exponent functors.
Theory Appl. Categ, vol. 8. (Electronic)

Kock A. and G.E. Reyes (2001). Some differential equations in SDG. arXiv:math.CT/0104164 17 April 2001

This paper has been superseded. Its contents have been improved and re-written by the authors as three separate papers: “Some calculus with extensive quantities: wave equation”, “Categorical distribution theory; heat equation” and “Ordinary differential equations and their exponentials”. These papers may be unloaded here. I enclose it because it gives a bird’s view on our project.

Royer, A and G.E. Reyes. Relativistic velocity addition as a linear fractional map, and Thomas rotation. 11 pages. Version préliminaire (Avril 2001)

Galli, A., Reyes G.E. and M. Sagastume (2000). Completeness theorems via the double dual functor. Studia Logica 64, pp 61-81.

The aim of this paper is to apply properties of the double dual endofunctor on the category of bounded distributive lattices and some extensions thereof to obtain completeness of certain non-classical propositional logics in a unified way. In particulart, we obtain completeness theorems for Moisil calculus, n-valued Lukasiewicz calculus and Nelson calculus. Furthermore we show some conservativeness results by these methods.

Completeness theorems via the double dual