An inductive model structure for strict $\infty$-categories

Simon Henry Felix Loubaton

We construct a left semi-model category of "marked strict $\infty$-categories" for which the fibrant objects are those whose marked arrows satisfy natural closure properties and ar…