Given a map of spaces \(f \colon A \rightarrow B\), we let \(\mathrm{Im}(f) \subseteq B\) denote the full image of \(f\), i.e. the subspace of \(B\) given by the union of those connected components of \(B\) in the image of \(\pi_0 f\).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2