𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Partiality I: Embedding relation algebras

✍ Scribed by Gunther Schmidt

Book ID
113720574
Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
288 KB
Volume
66
Category
Article
ISSN
1567-8326

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Relation algebras from cylindric algebra
Relation algebras from cylindric algebras, I
✍ Robin Hirsch; Ian Hodkinson πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 338 KB

We characterise the class SRaCAn of subalgebras of relation algebra reducts of n-dimensional cylindric algebras (for ΓΏnite nΒΏ5) by the notion of a 'hyperbasis', analogous to the cylindric basis of Maddux, and by relativised representations. We outline a game-theoretic approximation to the existence

Paracategories I: internal paracategorie
Paracategories I: internal paracategories and saturated partial algebras
✍ Claudio Hermida; Paulo Mateus πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 796 KB

Based on the monoid classiΓΏer , we give an alternative axiomatization of Freyd's paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a free-monoid monad T in our ambient category, and coequalisers satisfying some exactness conditions, we give an abstract