2 papers
cs.GT2025
A Category Theoretic Approach to Approximate Game Theory
Neil Ghani
This paper uses category theory to develop an entirely new approach to approximate game theory. Game theory is the study of how different agents within a multi-agent system take de…
cs.LO2025
Metric Equational Theories
Radu Mardare, Neil Ghani, Eigil Rischel
This paper proposes appropriate sound and complete proof systems for algebraic structures over metric spaces by combining the development of Quantitative Equational Theories (QET)…