scientific article; zbMATH DE number 3861406

MaRDI QIDQ3329627zbMATH OpenFDO

Authors Jean-Pierre Olivier, Dany Serrato

Publication date 1982

zbMATH Keywords

Allegoriesaxiomaticscategory of binary relationscategory of relations of a regular categoryDedekind categoriesdeductive categoriesorder-enriched category with involutionprelogical categorypretoposrelational algebrasSchroeder categoriessemi-lattice

Mathematics Subject Classification ID

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

Recommendations

• Point axioms and related conditions in Dedekind categories
• Point axioms in Dedekind categories
• scientific article; zbMATH DE number 1735913
• Publication:4940004
• Relation algebras and Schröder categories

Cited in

(18)

• Relation algebras and Schröder categories
• 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
• Point axioms and related conditions in Dedekind categories
• Hennessy-Milner properties in Boolean Dedekind categories
• Crispness in Dedekind categories
• Point axioms in Dedekind categories
• scientific article; zbMATH DE number 4177351 (Why is no real title available?)
• scientific article; zbMATH DE number 3844640 (Why is no real title available?)
• scientific article; zbMATH DE number 1735913 (Why is no real title available?)
• scientific article; zbMATH DE number 1409121 (Why is no real title available?)
• Double categories of relations
• scientific article; zbMATH DE number 3208283 (Why is no real title available?)
• scientific article; zbMATH DE number 3214582 (Why is no real title available?)
• scientific article; zbMATH DE number 3313456 (Why is no real title available?)
• 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:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3329627)