Voir la notice de l'article provenant de la source Theory and Applications of Categories website
For A a category with finite colimits, we show that the embedding of A into the category of arrows Arr(A) determined by the initial object is the completion of A under strong homotopy cokernels. The nullhomotopy structure of Arr(A) (needed in order to express the notion of homotopy cokernel) is the usual one induced by the canonical string of adjunctions between A and Arr(A).
@article{TAC_2024_41_a5, author = {Enrico M. Vitale}, title = {Completion under strong homotopy cokernels}, journal = {Theory and applications of categories}, pages = {168--193}, publisher = {mathdoc}, volume = {41}, year = {2024}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2024_41_a5/} }
Enrico M. Vitale. Completion under strong homotopy cokernels. Theory and applications of categories, Tome 41 (2024), pp. 168-193. http://geodesic.mathdoc.fr/item/TAC_2024_41_a5/