  We set up a general theory of weak or homotopy-coherent enrichment in an
arbitrary monoidal $\infty$-category $\mathcal{V}$. Our theory of enriched
$\infty$-categories has many desirable properties; for instance, if the
enriching $\infty$-category $\mathcal{V}$ is presentably symmetric monoidal
then $\mathrm{Cat}^\mathcal{V}_\infty$ is as well. These features render the
theory useful even when an $\infty$-category of enriched $\infty$-categories
comes from a model category (as is often the case in examples of interest, e.g.
dg-categories, spectral categories, and $(\infty,n)$-categories). This is
analogous to the advantages of $\infty$-categories over more rigid models such
as simplicial categories - for example, the resulting $\infty$-categories of
functors between enriched $\infty$-categories automatically have the correct
homotopy type.
  We construct the homotopy theory of $\mathcal{V}$-enriched
$\infty$-categories as a certain full subcategory of the $\infty$-category of
"many-object associative algebras" in $\mathcal{V}$. The latter are defined
using a non-symmetric version of Lurie's $\infty$-operads, and we develop the
basics of this theory, closely following Lurie's treatment of symmetric
$\infty$-operads. While we may regard these "many-object" algebras as enriched
$\infty$-categories, we show that it is precisely the full subcategory of
"complete" objects (in the sense of Rezk, i.e. those whose space of objects is
equivalent to its space of equivalences) which are local with respect to the
class of fully faithful and essentially surjective functors. Lastly, we present
some applications of our theory, most notably the identification of associative
algebras in $\mathcal{V}$ as a coreflective subcategory of pointed
$\mathcal{V}$-enriched $\infty$-categories as well as a proof of a strong
version of the Baez-Dolan stabilization hypothesis.
