Infinitely ludic categories
arxiv(2024)
摘要
Pursuing a new approach to the study of infinite games in combinatorics, we
introduce the categories 𝐆𝐚𝐦𝐞_A and 𝐆𝐚𝐦𝐞_B and
provide novel proofs of some classical results concerning topological games
related to the duality between covering properties of X and convergence
properties of C_p(X) that are based on the existence of
natural transformations. We then 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. We use their metrical disguise to demonstrate a
universality property of the Banach-Mazur game. The various equivalent
descriptions come with underlying functors to more familiar categories which
help establishing some important properties of the game categories: they are
complete, cocomplete, extensive, cartesian closed, and coregular, but neither
regular nor locally cartesian closed. We prove that their classes of strong
epimorphisms, of regular epimorphisms, and of descent morphisms, are all
distinct, and we show that these categories have weak classifiers for strong
partial maps. Some of the categorical constructions have interesting
game-theoretic interpretations.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要