Voir la notice de l'article provenant de la source Theory and Applications of Categories website
In many applications of quasigroups isotopies and homotopies are more important than isomorphisms and homomorphisms. In this paper, the way homotopies may arise in the context of categorical quasigroup model theory is investigated. In this context, the algebraic structures are specified by diagram-based logics, such as sketches, and categories of models become functor categories. An idea, pioneered by Gvaramiya and Plotkin, is used to give a construction of a model category naturally equivalent to the category of quasigroups with homotopies between them.
@article{TAC_2003_11_a0, author = {George Voutsadakis}, title = {Categorical models and quasigroup homotopies}, journal = {Theory and applications of categories}, pages = {1--14}, publisher = {mathdoc}, volume = {11}, year = {2003}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2003_11_a0/} }
George Voutsadakis. Categorical models and quasigroup homotopies. Theory and applications of categories, Tome 11 (2003), pp. 1-14. http://geodesic.mathdoc.fr/item/TAC_2003_11_a0/