Some questions I think about:
- What can category-theoretical invariants tell us about the dynamics of interval exchange transformations
- In what ways can we express the linguistic structure of IETs using K-theoretic structures?
- On what manifolds do Rauzy-like induction schemes naturally "live?"