On relations among quadratic modules

Abstract

Algebraic models of connected homotopy 3‐types such as quadratic modules, 2‐crossed modules, crossed squares, and their relations are studied in various ways. In this work, we obtain another natural equivalence for quadratic modules. That is, we define functors between quadratic modules and our candidate category.