Determinism of multirelations

DOI10.1016/j.jlamp.2024.100976MaRDI QIDQ6561345

Hitoshi Furusawa, Georg Struth, Walter Guttmann

Publication date: 25 June 2024

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

categoriesquantaloidsbinary relationsbinary multirelationsdeterministic multirelationspower allegories

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Iterated covariant powerset is not a monad
• Kleisli, Parikh and Peleg compositions and liftings for multirelations
• Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
• Concurrent dynamic logic
• Demonic operators and monotype factors
• Concurrent Dynamic Algebra
• Taming Multirelations
• Theory and Applications of Relational Structures as Knowledge Instruments
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Determinism of multirelations