Beyond finite sets - Homotopy Theory and Combinatorics
The workshop will gather researchers interested in the prospective of doing combinatorics and homotopy theory over more general "ground fields" than finite sets, and willing to think out of the box about the elementary building blocks of mathematics.
We expect to have talks related to pi-finite spaces, the sphere spectrum, algebraic K-theory, combinatorics in type theory, super geometry, Euler characteristics and other notions of cardinality and size - as well as related topics.
The talks will focus on ideas, and there will be scheduled ample time for informal discussions.
Details to be announced