  A smooth manifold hosts different types of submanifolds, including embedded,
weakly-embedded, and immersed submanifolds. The notion of an immersed
submanifold requires additional structure (namely, the choice of a topology);
when this additional structure is unique, we call the subset a uniquely
immersed submanifold. Diffeology provides yet another intrinsic notion of
submanifold: a diffeological submanifold.
  We show that from a categorical perspective diffeology rises above the
others: viewing manifolds as a concrete category over the category of sets, the
initial morphisms are exactly the (diffeological) inductions, which are the
diffeomorphisms with diffeological submanifolds. Moreover, if we view manifolds
as a concrete category over the category of topological spaces, we recover
Joris and Preissmann's notion of pseudo-immersions.
  We show that these notions are all different. In particular, a theorem of
Joris from 1982 yields a diffeological submanifold whose inclusion is not an
immersion, answering a question that was posed by Iglesias-Zemmour. We also
characterize local inductions as those pseudo-immersions that are locally
injective.
  In appendices, we review a proof of Joris' theorem, pointing at a flaw in one
of the several other proofs that occur in the literature, and we illustrate how
submanifolds inherit paracompactness from their ambient manifold.
