We study category counterparts of the notion of a universal measure zero set of reals.
We say that a subset A of R is universally meager, if every Borel isomorphic image of A is meager in R. We give various equivalent definitions emphasizing analogies with the universally null sets of reals.
In particular, two problems emerging from an earlier work of Grzegorek are solved.
LaTeX 2e source file.
Requires PROC-L.CLS file.