Infinitely ludic categories
| Ano de defesa: | 2024 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Tese |
| Tipo de acesso: | Acesso aberto |
| Idioma: | eng |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: | |
| Link de acesso: | https://www.teses.usp.br/teses/disponiveis/55/55135/tde-29112024-201243/ |
Resumo: | This work is a presentation of a new approach to the study of infinite games in combinatorics. We introduce the categories GameA, GameB and, based on the existence of natural transformations, novel proofs to some classical results concerning topological games related to the duality between covering properties of X and convergence properties of Cp(X) are provided. We describe these ludic categories in various equivalent forms, viewing their objects as certain structured trees, presheaves, or metric spaces, and we thereby obtain their arboreal, functorial and metrical appearances. These equivalent descriptions come with underlying functors to more familiar categories which help in the task of establishing some important properties of the game categories. Some of the presented categorical constructions have relevant game-theoretic interpretations. Following a recent trend in the field of combinatorics, we also explore a couple of perspectives on the Fraïssé theory of finite games, from which generalizations to the recently developed categorical Fraïssé theory arise. |
| id |
USP_f51eb5b70119edfc9f71d5ca6e5257f6 |
|---|---|
| oai_identifier_str |
oai:teses.usp.br:tde-29112024-201243 |
| network_acronym_str |
USP |
| network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
| repository_id_str |
|
| spelling |
Infinitely ludic categoriesCategorias infinitamente lúdicasCategoria de jogosCategory theoryFraïssé theoryGame categoryInfinite gameJogo infinitoJogo topológicoTeoria das categoriasTeoria de FraïsséTopological gameThis work is a presentation of a new approach to the study of infinite games in combinatorics. We introduce the categories GameA, GameB and, based on the existence of natural transformations, novel proofs to some classical results concerning topological games related to the duality between covering properties of X and convergence properties of Cp(X) are provided. We describe these ludic categories in various equivalent forms, viewing their objects as certain structured trees, presheaves, or metric spaces, and we thereby obtain their arboreal, functorial and metrical appearances. These equivalent descriptions come with underlying functors to more familiar categories which help in the task of establishing some important properties of the game categories. Some of the presented categorical constructions have relevant game-theoretic interpretations. Following a recent trend in the field of combinatorics, we also explore a couple of perspectives on the Fraïssé theory of finite games, from which generalizations to the recently developed categorical Fraïssé theory arise.Este trabalho é uma aparesentação de uma nova abordagem ao estudo de jogos infinitos em combinatória. Introduzimos as categorias GameA, GameB e, baseados na existência de certas transformações naturais, fornecemos novas demonstrações para alguns resultados clássicos sobre jogos topológicos relacionados à dualidade entre propriedades de cobertura de X e propriedades de convergência de Cp(X). Nós descrevemos estas categorias lúdicas em diversas formas equivalentes, interpretando seus objetos como certas árvores estruturadas, pré-feixes, ou espaçoes métricos, e assim obtemos suas roupagens arbórea, funtorial e métrica. Estas equivalentes descrições surgem com subjacentes funtores a categorias mais conhecidas que nos ajudam a estabelecer algumas propriedades importantes das nossas categorias de jogos. Algumas das construções categóricas apresentadas possuem interpretações relevantes do ponto de vista da teoria de jogos infinitos. Seguindo uma tendência recente na área de combinatória, nós também exploramos duas perspectivas sobre a teoria de Fraïssé de jogos finitos, de onde emergem generalizações à recentemente desenvolvida teoria de Fraïssé categórica.Biblioteca Digitais de Teses e Dissertações da USPAurichi, Leandro FioriniCosta, Matheus Duzi Ferreira2024-08-06info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/55/55135/tde-29112024-201243/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesseng2024-11-29T22:58:02Zoai:teses.usp.br:tde-29112024-201243Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212024-11-29T22:58:02Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
| dc.title.none.fl_str_mv |
Infinitely ludic categories Categorias infinitamente lúdicas |
| title |
Infinitely ludic categories |
| spellingShingle |
Infinitely ludic categories Costa, Matheus Duzi Ferreira Categoria de jogos Category theory Fraïssé theory Game category Infinite game Jogo infinito Jogo topológico Teoria das categorias Teoria de Fraïssé Topological game |
| title_short |
Infinitely ludic categories |
| title_full |
Infinitely ludic categories |
| title_fullStr |
Infinitely ludic categories |
| title_full_unstemmed |
Infinitely ludic categories |
| title_sort |
Infinitely ludic categories |
| author |
Costa, Matheus Duzi Ferreira |
| author_facet |
Costa, Matheus Duzi Ferreira |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Aurichi, Leandro Fiorini |
| dc.contributor.author.fl_str_mv |
Costa, Matheus Duzi Ferreira |
| dc.subject.por.fl_str_mv |
Categoria de jogos Category theory Fraïssé theory Game category Infinite game Jogo infinito Jogo topológico Teoria das categorias Teoria de Fraïssé Topological game |
| topic |
Categoria de jogos Category theory Fraïssé theory Game category Infinite game Jogo infinito Jogo topológico Teoria das categorias Teoria de Fraïssé Topological game |
| description |
This work is a presentation of a new approach to the study of infinite games in combinatorics. We introduce the categories GameA, GameB and, based on the existence of natural transformations, novel proofs to some classical results concerning topological games related to the duality between covering properties of X and convergence properties of Cp(X) are provided. We describe these ludic categories in various equivalent forms, viewing their objects as certain structured trees, presheaves, or metric spaces, and we thereby obtain their arboreal, functorial and metrical appearances. These equivalent descriptions come with underlying functors to more familiar categories which help in the task of establishing some important properties of the game categories. Some of the presented categorical constructions have relevant game-theoretic interpretations. Following a recent trend in the field of combinatorics, we also explore a couple of perspectives on the Fraïssé theory of finite games, from which generalizations to the recently developed categorical Fraïssé theory arise. |
| publishDate |
2024 |
| dc.date.none.fl_str_mv |
2024-08-06 |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
| format |
doctoralThesis |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
https://www.teses.usp.br/teses/disponiveis/55/55135/tde-29112024-201243/ |
| url |
https://www.teses.usp.br/teses/disponiveis/55/55135/tde-29112024-201243/ |
| dc.language.iso.fl_str_mv |
eng |
| language |
eng |
| dc.relation.none.fl_str_mv |
|
| dc.rights.driver.fl_str_mv |
Liberar o conteúdo para acesso público. info:eu-repo/semantics/openAccess |
| rights_invalid_str_mv |
Liberar o conteúdo para acesso público. |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf |
| dc.coverage.none.fl_str_mv |
|
| dc.publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
| publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
| dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo (USP) instacron:USP |
| instname_str |
Universidade de São Paulo (USP) |
| instacron_str |
USP |
| institution |
USP |
| reponame_str |
Biblioteca Digital de Teses e Dissertações da USP |
| collection |
Biblioteca Digital de Teses e Dissertações da USP |
| repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP) |
| repository.mail.fl_str_mv |
virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br |
| _version_ |
1818598509780140032 |