Categories everywhere

["Michael Barr, Prof." <barr.michael@mcgill.ca>]

I think it interesting to know that categories are now apparently used in Ramsey theory, one of the last places I would have expected it: https://arxiv.org/abs/1506.01221

Michael
[1506.01221] Categorical Constructions and the Ramsey Property<https://arxiv.org/abs/1506.01221>
It has become obvious in the recent development that the structural Ramsey property is a categorical property: it depends not only on the choice of objects, but also on the choice of morphisms involved. In this paper we explicitely put the Ramsey property and the dual Ramsey property in the context of categories of finite structures and investigate the invariance of these properties under some ...
arxiv.org



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]