Modules in the category of sheaves over quantales

&
Annals of Pure and Applied Logic 108 (1-3):103-136 (2001)
  Copy   BIBTEX

Abstract

In this paper we develop the elementary theory of modules in the category Sh of sheaves over right-sided idempotent quantales. The main ingredient is the construction of a logic sound for Sh . As an application we prove that in Sh , a finitely generated projective module is free , a result that is relevant to the study of representation of non-commutative C ∗ -algebras

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(00)00042-7

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Non-commutative topology and quantales.Marcelo E. Coniglio & Francisco Miraglia - 2000 - Studia Logica 65 (2):223-236.
Sheaves over Heyting lattices.Andrzej W. Jankowski & Marek Zawadowski - 1985 - Studia Logica 44 (3):237 - 256.
Some Model Theory of Sheaves of Modules.Mike Prest, Vera Puninskaya & Alexandra Ralph - 2004 - Journal of Symbolic Logic 69 (4):1187 - 1199.
Order algebras as models of linear logic.Constantine Tsinakis & Han Zhang - 2004 - Studia Logica 76 (2):201 - 225.
Ultrapowers as sheaves on a category of ultrafilters.Jonas Eliasson - 2004 - Archive for Mathematical Logic 43 (7):825-843.
GL-Quantales: Q-valued sets and their singletons. [REVIEW]Ulrich Höhle - 1998 - Studia Logica 61 (1):123-148.
A sheaf representation and duality for finitely presented Heyting algebras.Silvio Ghilardi & Marek Zawadowski - 1995 - Journal of Symbolic Logic 60 (3):911-939.
Ultrasheaves and Double Negation.Jonas Eliasson & Steve Awodey - 2004 - Notre Dame Journal of Formal Logic 45 (4):235-245.
Strict Mittag‐Leffler modules.P. A. Guil Asensio, M. C. Izurdiaga, Ph Rothmaler & B. Torrecillas - 2011 - Mathematical Logic Quarterly 57 (6):566-570.
A Kripke semantics for the logic of Gelfand quantales.Gerard Allwein & Wendy MacCaull - 2001 - Studia Logica 68 (2):173-228.
J. EL1ASSON Ultrapowers as sheaves on a category of ultrafilters 825 A. LEWIS Finite cupping sets 845.G. Metcalfe, N. Olivetti, D. Gabbay, H. Towsner, M. Dzamonja & S. Shelah - 2004 - Archive for Mathematical Logic 43 (7):934.
Lawvere-Tierney Sheaves in Algebraic Set Theory.S. Awodey, N. Gambino & M. A. Warren - 2009 - Journal of Symbolic Logic 74 (3):861 - 890.
On some sheaves of special groups.Vincent Astier - 2007 - Archive for Mathematical Logic 46 (5-6):481-488.

Analytics

Added to PP
2014-01-16

Downloads
27 (#576,320)

6 months
13 (#184,769)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Marcelo E. Coniglio
University of Campinas
Marcelo Coniglio
University of Campinas

Citations of this work

Add more citations

References found in this work

Equality in linear logic.Marcelo E. Coniglio & Francisco Miraglia - 1996 - Logique Et Analyse 39 (153-154):113-151.
Sheaves over right sided idempotent quantales.F. Miraglia & U. Solitro - 1998 - Logic Journal of the IGPL 6 (4):545-600.

Add more references