scientific article

zbMath0542.18005MaRDI QIDQ3329627

Dany Serrato, Jean-Pierre Olivier

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

axiomaticsDedekind categoriesrelational algebraspretopossemi-latticecategory of binary relationsAllegoriescategory of relations of a regular categorydeductive categoriesorder-enriched category with involutionprelogical categorySchroeder categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Boolean algebras (Boolean rings) (06E99) Preorders, orders, domains and lattices (viewed as categories) (18B35) Semilattices (06A12) Preadditive, additive categories (18E05) Categories of spans/cospans, relations, or partial maps (18B10) Distributive lattices (06D99)

Related Items (5)

Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary ⋮ Additive relation categories or algebras: MacLane, Hutchinson axioms and bi-modularity ⋮ Peirce allegories. Identities involving transitive elements and symmetrical ones ⋮ About the finiteness of monoids generated by closures and interiors ⋮ Groupoids, idempotents and pointwise inverses in relational categories

This page was built for publication: