Some analogies between Haar meager sets and Haar null sets in abelian Polish groups (Q743213)

Let \(X,Y\) be abelian Polish groups. According to \textit{U. B. Darji} [Topology Appl. 160, No. 18, 2396--2400 (2013; Zbl 1278.54016)] a subset \(A\) of \(X\) is called Haar meager if there is a Borel set \(B\) in \(X\) containing \(A\) and a continuous map \(f:K\rightarrow X\) from a compact metric space \(K\) such that \(f^{-1}(x+B)\) is meager in \(K\) for all \(x\in X\). The author proves that \(0\) is an interior point of \(A-A\) for any Borel non-meager Haar subset of \(X\). The author calls a map \(f:X \rightarrow Y\) D-measurable if for any open \(U\subseteq Y\) the inverse image \(f^{-1}(U)\) is the union of a Haar meager subset and a Borel subset of \(X\), and proves that any D-measurable homomorphism from \(X\) into \(Y\) is continuous. Moreover, (non-)Haar meager sets in \(X\times Y\) are studied.