A convenient category for games and interaction
From MaRDI portal
Publication:1306712
DOI10.1023/A:1008696303912zbMath0933.18009OpenAlexW87180010MaRDI QIDQ1306712
Publication date: 13 March 2000
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1008696303912
linear logicgamessymmetric monoidal categoryquantaloidstrategiesKleisli categoryresiduationautonomous category of sup-latticestensor product of gamestree composition
2-person games (91A05) Preorders, orders, domains and lattices (viewed as categories) (18B35) Categories of spans/cospans, relations, or partial maps (18B10)
This page was built for publication: A convenient category for games and interaction