2 papers
math.CT2024
You Wouldn't Permutahedron
Astra Kolomatskaia
We develop formulas that define permutahedral commutation coherence relations of all orders. To illustrate the result geometrically, we begin by defining a rigid transformation of…
math.CT2023
Displayed Type Theory and Semi-Simplicial Types
Astra Kolomatskaia, Michael Shulman
We introduce Displayed Type Theory (dTT), a multi-modal homotopy type theory with discrete and simplicial modes. In the intended semantics, the discrete mode is interpreted by a mo…