This action might not be possible to undo. Are you sure you want to continue?

Welcome to Scribd. Sign in or start your free trial to enjoy unlimited e-books, audiobooks & documents.Find out more

Download

Standard view

Full view

of .

Look up keyword or section

Like this

Share on social networks

6Activity

×

0 of .

Results for: No results containing your search query

P. 1

A unified approach to the construction of categories of gamesRatings:

(0)|Views: 132|Likes: 8

Published by sfwc

Nathan Bowler's PhD thesis - this is the version before the viva, so there may be some (hopefully minor) changes.

Nathan Bowler's PhD thesis - this is the version before the viva, so there may be some (hopefully minor) changes.

See more

See less

https://www.scribd.com/doc/35878507/A-unified-approach-to-the-construction-of-categories-of-games

10/29/2011

text

original

A uniﬁed approach to the construction of categories of games

1Nathan James BowlerTrinity CollegeAugust 2010

1

This dissertation is submitted for the degree of Doctor of Philosophy.

This dissertation is the result of my own work and includes nothing which is the outcome of work done in collaboration.

1

A uniﬁed approach to the construction of categories of games

Nathan Bowler

Our aim is to explain a way to construct categories of games by combining2-dimensional structures called

playpens

. We use a running example of acategory of games based on digraphs.We explain some basic properties of digraphs, including a construction of a tensor product on this category by means of a promonoidal structure onthe category consisting of a parallel pair of maps. We describe a coreﬂectivesubcategory of the category of digraphs which is naturally thought of as acategory of trees.To motivate the 2-dimensional structures we shall use, we introduce theconcept of unwiring. This formalises the idea of a structure whose elementscan be decomposed over the shapes provided by a monad. We show that thisconstruction picks out a well-behaved class of exponentiable objects, andallows the lifting of exponentiation functors to categories of algebras.We explore the details of the special case of this construction for freemulticategory monads. Examining what happens for the free

fc

-mulicategorymonad leads to the introduction of playpens. We explore simple constructionsand examples of playpens, and show how these may be used to produce an

fc

-multicategory of games based on digraphs.We outline the theory of representability for

fc

-multicategories, and wedemonstrate that the

fc

-multicategory we’ve produced underlies a strict dou-ble category, whose horizontal part is a standard category of games. Weexplore a link between this construction and slicing in

fc

-multicategories.We explain how to modify the construction so far to produce categorieswith diﬀerent conventions for play, with diﬀerent notions of strategy, andwith diﬀerent combinatorial notions of game (including trees of the kindmentioned earlier). By means of these examples, we hope to indicate thevariety of potential further extensions of our construction.2

You've already reviewed this. Edit your review.

1 hundred reads

Richard Kaye liked this

polobius liked this

drober liked this

whiterubies liked this

roberttr liked this

- Read and print without ads
- Download to keep your version
- Edit, email or read offline

Are you sure?

This action might not be possible to undo. Are you sure you want to continue?

CANCEL

OK

You've been reading!

NO, THANKS

OK

scribd