Relation algebras and Schröder categories
From MaRDI portal
Publication:1105596
DOI10.1016/0012-365X(88)90078-7zbMath0649.03047OpenAlexW2005759308MaRDI QIDQ1105596
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
Boolean algebrasrelation algebrastensor productfree productBoolean modulesequivalence elementSchröder category
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
This page was built for publication: Relation algebras and Schröder categories