Computable

Commutation Lemma.

Author: Carlos C. Mart¡nez & Guillermo Ortiz R.
October 97

Abstract::

We give a formulation of the Commutational Lemma and a test of itself. Besides, we present an application: given a category C, the points of C-sets are related to the filterers of C through a full, faithful and essentially surjective functor. Finally we present the particular case of application of representable functors. The relevance of this singular outcome became noticeable during the seminar on Categorical Logic conducted by professor G.Reyes en la P.U.C. de Chile (1996 - 97). In Proceedings of XI Simposio Latinoamericano de L¢gica Matem tica, M‚rida, Venezuela, Julio 1998. Abstract in the Journal of Symbolic Logic.

© 2016 Carlos C. Martínez | Generated by webgen