Relation algebras and Schröder categories

DOI10.1016/0012-365X(88)90078-7zbMath0649.03047OpenAlexW2005759308MaRDI QIDQ1105596

Bjarni Jónsson

Publication date: 1988

Published in: Discrete Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0012-365x(88)90078-7

zbMATH Keywords

Boolean algebrasrelation algebrastensor productfree productBoolean modulesequivalence elementSchröder category

Mathematics Subject Classification ID

Boolean algebras (Boolean rings) (06E99) Cylindric and polyadic algebras; relation algebras (03G15) Products, amalgamated products, and other kinds of limits and colimits (08B25) Categorical structures (18D99)

Related Items

A perspective on the theory of relation algebras ⋮ Minimal relation algebras ⋮ Representations for small relation algebras ⋮ Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary ⋮ The lattice of varieties of representable relation algebras ⋮ Small integral relation algebras generated by a partial order ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Peirce allegories. Identities involving transitive elements and symmetrical ones ⋮ Tribute to Bjarni Jónsson ⋮ Functionally dense relation algebras ⋮ Completeness of a relational calculus for program schemes

Cites Work

• Unnamed Item
• Varieties of relation algebras
• Boolean modules
• Boolean Algebras with Operators

This page was built for publication: Relation algebras and Schröder categories