Determinisation of Relational Substitutions in Ordered Categories with Domain

DOI10.1007/978-3-540-78913-0_19zbMath1139.18006OpenAlexW1509531246MaRDI QIDQ3498418

Wolfram Kahl

Publication date: 15 May 2008

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Preorders, orders, domains and lattices (viewed as categories) (18B35) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (1)

Determinisation of relational substitutions in ordered categories with domain

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Infinite set unification with application to categorial grammar
• Characterizing determinacy in Kleene algebras
• Set functors, \(L\)-fuzzy set categories, and generalized terms.
• Goguen categories. A categorical approach to \(L\)-fuzzy relations
• A categorical approach to unification of generalised terms1 1This work has been developed as a cooperation organised within COST 274.
• NOTES ON THE UNIVERSALITY OF RELATIONAL FUNCTORS
• Kleene algebra with domain
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: Determinisation of Relational Substitutions in Ordered Categories with Domain