17:00
Semi-retractions, pre-adjunctions, and examples
Abstract
We will define a notion of a semi-retraction between two first-order structures introduced by Scow. We show how a semi-retraction encodes Ramsey problems of finitely-generated substructes of one structure into the other under the most general conditions. We will compare semi-retractions to a category-theoretic notion of pre-adjunction recently popularized by Masulovic. We will accompany the results with examples and questions. This is a joint work with Lynn Scow.