Home » Authors » Thorsten Altenkirch

Thorsten Altenkirch

Public reference bibliography and cataloged PDF materials authored or published by Thorsten Altenkirch.

Found 1 document(s) Page 1 of 1

Any colour you like, as long as it's UIP: Semi-simplicial types from weakenings and thinnings

Year: 2026 • Source: arxiv.org • Listed PDF

We explain an attempt to define semi-simplicial types (SST) in homotopy type theory by first defining a small type theory whose contexts are exactly the data of semi-simplicial types, constructing $\mathrm{SST}\,n$ unifo...