<!DOCTYPE html>
<html>
<head>
<title>Set Theory and Analysis</title>
</head>
<body>
<p>
Tuesday, 13 January 2026 - 10:00 to 11:30 <br />
Place: IM, konÃrna
</p>
<p>
Speaker: Maximilian Strohmeier, Charles University<br />
Title: An anatomical dissection of the Partite Construction
</p>
<p class="ql-ed">
Abstract <br />
<p>The arrow notation C -> (B)^A_r,d is the core formula of interest in Ramsey theory. It states that for every r-coloring of the A in C there is a d-chromatic B in C. A key technique in getting results is transferring the existence of such a Ramsey witness C to more complicated cases using the partite construction. It allows for preservation of Ramsey statements when attaching additional structure.</p><p>In this talk we will examine the logical viscera of the Partite Construction by means of a string diagram. In particular a very general categorical (uniterated and unrestricted) version. We will also remark when iteration is necessary and how to modify the diagram to accompany this.</p><p>Category theoretic knowledge is not required as we will walk through it with the standard, model theoretic example. </p>
</p>
<p>
For more information see the seminar web page at <br />
https://www.math.cas.cz/index.php/events/seminar/6
</p>
<p>
Set Theory and Analysis mailing list <br />
settfa@math.cas.cz <br />
https://list.math.cas.cz/listinfo/settfa@math.cas.cz
</p>
</body>
</html>