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

Anders Kock et Gonzalo Reyes

Cahiers de topologie et géométrie différentielle catégoriques, tome 40, no 2 (1999), p. 127-140.

Dans le contexte de la théorie constructive des locales ou des cadres (c’est-à-dire de la théorie de locales sur un locale de base), nous étudions quelques aspects des “distributions sur les cadres” , i.e., des applications sur un cadre à valeurs dans un cadre de base préservant les suprema arbitraires. Nous obtenons une relation entre certains résultats dus à Jibladze- Johnstone et d’autres dus à Bunge-Funk. De plus, nous donnons des descriptions de l’opérateur “intérieur de fermeture” défini sur les parties ouvertes d’un locale en termes des distributions sur les cadres ainsi qu’en termes des opérations de double négation généralisée.

A note on frame distributions

Kock A. and G. E. Reyes (1999). Aspects of fractional exponent functor. Theory Appl. Categ. 5, No. 10, 251-265. (Electronic)

We prove that certain categories arising from atoms in a Grothendieck topos are themselves Grothendieck toposes. We also investigate enrichments of these categories over the base topos; there are in fact often two distinct enrichments.

Kock A. and G. E. Reyes . Fractional exponent functors and categories of differential
equations. 33 pages. Version préliminaire (November 1998) (SDG)

Reyes G. E. and H. Zolfaghari (1996). Bi-Heyting Algebras, Toposes and
Modalities. Journal of Philosophical Logic 25. No.1 pp.25-43.

Makkai M. and G. E. Reyes (1995). Completeness results for intuitionistic and
modal logic in a categorical setting. Annals of Pure and Applied Logic 72, 25-101.

Kock A. and G. E. Reyes (1994). Relatively Boolean and de Morgan toposes and
locales. Cahiers de Top. et Geom. diff. categ. vol. xxxv-3, 249-261.

Reyes G. E. and M. W. Zawadowski (1993). Formal systems for modal operators on
locales. Studia Logica. Vol.52, 595-613.

Moerdijk I. and G. E. Reyes (1991). Models for Smooth Infinitesimal Analysis.
New York: Springer-Verlag.

MAT 2061 (Logique I), notes rédigées par F. Magnan en collaboration avec G. E . Reyes (1991).
Notes disponibles au secrétariat du département de mathématiques de l’Université de
Montréal. Texte de 85 pages.

G. E. Reyes (1991). A topos-theoretic Approach to Reference and Modality. Notre
Dame Journal of Formal Logic. Volume 32, Number 3, 359-391.