{"id":"arxiv/2605.30835","url":"https://arxiv.org/abs/2605.30835","tags":["math.AT","math.CT"],"score":0,"title":"The group of homotopy self-equivalences is a Lax functor","domain":"math.AT","source":"arxiv","authors":["Toshihiro Yamaguchi","Shoji Yokura"],"reviews":0,"subject":"math.AT","summary":"The group $\\E(X)$ of homotopy self-equivalences of a topological space $X$ is a well-known group in homotopy theory and has been studied by many people since it was first introduced in the late 1950s. $\\E$ is not a functor in the usual sense. In this paper we show that $\\E$ is a Lax functor from the category $\\mathscr Top$ of topological spaces to a strict $2$-category $\\op{Corr}_{\\mathscr Gr}$ of \\emph{correspondences} of groups.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-29","reactions":{}}