A convenient category for games and interaction

DOI10.1023/A:1008696303912zbMath0933.18009OpenAlexW87180010MaRDI QIDQ1306712

Jürgen Koslowski

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

zbMATH Keywords

linear logicgamessymmetric monoidal categoryquantaloidstrategiesKleisli categoryresiduationautonomous category of sup-latticestensor product of gamestree composition

Mathematics Subject Classification ID

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