4 ms·
Is there a good resource on category theoretical or linear logical game design?
by adamnemecek 9y ago
Is there a good resource on category theoretical or linear logical game design?
- BucketSort 9y agoCan you explain this more? What do you mean by "category theoretical" game design?
- adamnemecek 9y agoYou model things in the game using category theory.
- andrepd 9y agoI'm not sure what you mean by that. What about board games do you expect to fruitfully from using category theory insights?
- adamnemecek 9y agoExposing the underlying transformation structure.
- sillysaurus3 9y agoHow?
- mbrock 9y agoCheck out Chris Martens' work, like her thesis "Programming Interactive Worlds with Linear Logic": http://www.cs.cmu.edu/~cmartens/thesis/ http://www.cs.cmu.edu/~cmartens/thesis/ (or some of the shorter papers on her website)
- adamnemecek 9y agoThx, I saw this on HN a while back but totally forgot it existed.
- namarkiv 9y agoI became curious about this, there is of course game semantics but that's not what you're looking for. I found a couple of interesting references about using categories to study game theory which I'm going to add to my reading list, Game Theory from the Category Theory Point of View [0] and Towards Compositional Game Theory [1]. [0] http://www.gtcenter.org/Archive/2015/Conf/Jimenez1880.pdf http://www.gtcenter.org/Archive/2015/Conf/Jimenez1880.pdf [1] http://www.cs.ox.ac.uk/people/julian.hedges/papers/Thesis.pdf http://www.cs.ox.ac.uk/people/julian.hedges/papers/Thesis.pd...