Infinitely ludic categories

Author(s)

Matheus Duzi Ferreira Costa

• Document type: Doctoral Thesis
• Press: São Carlos.
• Institution: Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB)
• Defense date: 2024-08-06

Examining board members

Leandro Fiorini Aurichi; Christina Brech; Behrooz Mirzaii; Paul Szeptycki

• Advisor: Leandro Fiorini Aurichi

Abstract

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. (AU)

• FAPESP's process: 19/16357-1 - Applications of infinite games
• Grantee: Matheus Duzi Ferreira Costa
• Support Opportunities: Scholarships in Brazil - Doctorate