Solving Homotopy Domain Equations

Abstract

In order to get $\hat{I}»$-models with a rich structure of $\infty$-groupoid, which we call "homotopy $\hat{I}»$-models", a general technique is described for solving domain equations on any cartesian closed $\infty$-category (c.c.i.) with enough points. Finally, the technique is applied in a particular c.c.i., where some examples of homotopy $\hat{I}»$-models are given.