✦ LIBER ✦

Sheaves on involutive quantales: Grothendieck quantales

✍ Scribed by Heymans, Hans

Book ID: 121978961
Publisher: Elsevier Science
Year: 2014
Tongue: English
Weight: 473 KB
Volume: 256
Category: Article
ISSN: 0165-0114
DOI: 10.1016/j.fss.2013.07.008

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Simple Involutive Quantales

✍ J.Wick Pelletier; J. Rosický 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 237 KB

Involutive quantales were introduced in 7 as complete lattices equipped with a multiplication and an involution. Such structures are well known from the calculus Ž . of relations: the set R Rel X of binary relations on any set X forms an involutive quantale. However, the motivating example of an inv

On a logic of involutive quantales

✍ Norihiro Kamide 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 112 KB

## MSC (2000) 03B47 The logic just corresponding to (non-commutative) involutive quantales, which was introduced by Wendy Mac-Caull, is reconsidered in order to obtain a cut-free sequent calculus formulation, and the completeness theorem (with respect to the involutive quantale model) for this log

Quantal sets and sheaves over quantales

✍ R. P. Gylys 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 823 KB

The Bicategory of m-regular Involutive Q

The Bicategory of m-regular Involutive Quantales

✍ Jan Paseka 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 83 KB

Groupoid sheaves as quantale sheaves

✍ Pedro Resende 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 453 KB

Modules in the category of sheaves over

Modules in the category of sheaves over quantales

✍ Marcelo E. Coniglio; Francisco Miraglia 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 277 KB