Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary

DOI10.1016/0165-0114(94)00349-CzbMath0844.18002MaRDI QIDQ1914508

Jean-Pierre Olivier, Dany Serrato

Publication date: 16 July 1996

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

zbMATH Keywords

distributive lattices; Boolean algebras; relation algebras; semilattices; fuzzy relations; Dedekind categories; rectangle morphisms; semilattice relation categories; unitary allegories

Mathematics Subject Classification ID

06A12: Semilattices

18B10: Categories of spans/cospans, relations, or partial maps

Related Items

Type-n Arrow Categories, Relational properties of sequential composition of coalgebras, Determinisation of relational substitutions in ordered categories with domain, Membership values in arrow categories, Products in categories of relations, Arrow categories, \(MP\)-algebras with relative types, Representation theory of Goguen categories., A new algebraic approach to L-fuzzy relations convenient to study crispness, Categories of relations for variable-basis fuzziness, Additive relation categories or algebras: MacLane, Hutchinson axioms and bi-modularity, Categorical representation theorems of fuzzy relations, A relation algebraic approach to interaction categories, Dependencies in relational models of databases, An Ordered Category of Processes

Cites Work

• Relation algebras and Schröder categories
• Adjoining units to residuated Boolean algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item