2021/04/02 by Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz, Martínez-Rivillas, Daniel O. +1 · 1 citation
Mathematics · #Homotopy and Cohomology in Algebraic Topology #Algebraic structures and combinatorial models #Advanced Topics in Algebra
paper · pdf · doi:10.48550/arxiv.2104.01195
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.