Relational set theory

DOI10.1007/3-540-60164-3_19zbMath1502.03017OpenAlexW1511398478MaRDI QIDQ5057465

Yasuo Kawahara

Publication date: 16 December 2022

Published in: Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60164-3_19

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Axiomatics of classical set theory and its fragments (03E30)

Related Items (2)

Categorical representation theorems of fuzzy relations ⋮ An algebraic formalization of fuzzy relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pushout-complements and basic concepts of grammars in toposes
• Korrespondenzen in abelschen Kategorien
• Topoi. The categorial analysis of logic
• The origin of relation algebras in the development and axiomatization of the calculus of relations
• Relational structures and their partial morphisms in view of single pushout rewriting
• RELATIONS IN CATEGORIES WITH PULLBACKS
• AN ALGEBRA OF ADDITIVE RELATIONS

This page was built for publication: Relational set theory