İ. İlker Akça | Searcharxiv

arXiv2018

Two-Fold Homotopy of 2-Crossed Module Maps of Commutative Algebras

We address the homotopy theory of 2-crossed modules of commutative algebras. In particular, we define the concept of a 2-fold homotopy between a pair of 1-fold homotopies connecting 2-crossed module maps $\A \to \A'$. We also prove that if the domain 2-crossed module $\A$ is free up to order one (i.e. if the bottom algebra is a polynomial algebra) then we have a 2-groupoid of 2-crossed module maps $\A \to \A'$ and their homotopies and 2-fold homotopies.

math.CT↗

arXiv2015

Pointed Homotopy of Maps Between 2-Crossed Modules of Commutative Algebras

We address the homotopy theory of 2-crossed modules of commutative algebras, which are equivalent to simplicial commutative algebras with Moore complex of length two. In particular, we construct for maps of 2-crossed modules a homotopy relation, and prove that it yields an equivalence relation in very unrestricted cases (freeness up to order one of the domain 2-crossed module). This latter condition strictly includes the case when the domain is cofibrant. Furthermore, we prove that this notion of homotopy yields a groupoid with objects being the 2-crossed module maps between two fixed 2-crossed modules (with free up to order one domain), the morphisms being the homotopies between 2-crossed module maps.

math.CT↗