Solving Homotopy Domain Equations
share
In order to get λ-models with a rich structure of ∞-groupoid, which we call "homotopy λ-models", a general technique is described for solving domain equations on any cartesian closed ∞-category (c.c.i.) with enough points. Finally, the technique is applied in a particular c.c.i., where some examples of homotopy λ-models are given.
READ FULL TEXT