In the first session, we will introduce the algebra of (indicator functions) of polyhedra and study its properties. Linear forms on this algebra produce functions on the set of polytopes (i.e. bounded polyhedra), that are compatible with set-theoretic decompositions of polyhedra. For polytopes, the lattice point count or the volume are examples of such linear forms.
Links:
[1] https://www.mpim-bonn.mpg.de/de/taxonomy/term/39
[2] https://www.mpim-bonn.mpg.de/de/node/4234
[3] https://www.mpim-bonn.mpg.de/de/node/9800