We will suppose, for the sake of simplicity, that everything is happening within a fixed 'metacategory' $\textbf{SET}$ of sets and functions. So, from now on, a 'category' just means a category object in $\textbf{SET}$ - i.e. a small category.


Let $\mathscr{V}$ be a monoidal category. A $\mathscr{V}$-enriched category $\mathscr{C}$ consists of:


* Objects: A set Ob($\mathscr{C}$).
* Morphisms: For each pair of $\mathscr{C}$-objects $(X, Y)$, a $\mathscr{V}$-object Hom$(X, Y)$.
* Composition: For each triple of $\mathscr{C}$-objects $(X, Y, Z)$, a $\mathscr{V}$-morphism $\circ$ : Hom$(X, Y)$ $\otimes$ Hom$(Y, Z)$ $\rightarrow$ Hom$(X, Z)$.
* Identities: For each $\mathscr{C}$-object $X$, a $\mathscr{V}$-morphism id$\_X$: $I$ $\rightarrow$ Hom$(X, X)$ (where $I \in \mathscr{V}$ is the unit of $\otimes$).


This data is then subject to the usual associativity and unitality axioms which are expressed via the commutativity of certain diagrams in $\mathscr{V}$.
From this enriched category, we can extract an underlying category $\mathscr{C}\_0$ by defining $\mathscr{C}(X, Y) = \mathscr{V}(I, \text{Hom}(X, Y))$.


My question is about if this is reversible - namely, can we define a $\mathscr{V}$-enriched category to be a category $\mathscr{C}$ equipped with a 'hom-functor' to $\mathscr{V}$? I'm having some trouble finding a reference for this but it seems like there should be a fairly obvious definiton.
A $\mathscr{V}$-atlas on a category $\mathscr{C}$ consists of:


* Morphisms: A functor Hom: $\mathscr{C}^{op} \times \mathscr{C} \rightarrow \mathscr{V}$.
* Composition: For each triple of $\mathscr{C}$-objects $(X, Y, Z)$, a $\mathscr{V}$-morphism $\circ$ : Hom$(X, Y)$ $\otimes$ Hom$(Y, Z)$ $\rightarrow$ Hom$(X, Z)$.
* Parametrisation: For each pair of $\mathscr{C}$-objects $(X, Y)$, an isomorphism $\eta: \mathscr{C}(X, Y) \xrightarrow{\sim} \mathscr{V}(I, \text{Hom}(X, Y))$ such that for all $X \xrightarrow{f} Y \xrightarrow{g} Z$ in $\mathscr{C}$, $\eta(g \circ f) = \eta(g)\circ\eta(f)$ (where on the left we have compositon in $\mathscr{C}$ and on the right we have composition in $\mathscr{V}$).


I'm unsure though if this gives associativity and unitality as in the usual defintion of a $\mathscr{V}$-enriched category, or if we only get associativity and unitality for $I$-shaped elements of the hom-objects. Could this be remedied by just requiring the associativity and unitality laws to hold as in the usual definiton? Any help or references would be much appreciated.



Enrichment as extra structure on a category
When your enriched categories are bicomplete enough (specifically, tensored and
cotensored over $\mathscr{V}$), you can view the extra structure of
the enrichment as a kind of action of $\mathscr{V}$ on them: this is
called a closed $\mathscr{V}$-module in Definition 10.1.3 of [Riehl's
*Categorical homotopy
theory*](http://www.math.jhu.edu/%7Eeriehl/cathtpy.pdf#thm.10.1.3)
(with comparison in Proposition 10.1.4). The point is that the
adjunction between the tensors and the internal hom (which is a better-behaved form of your "parametrisation") will allow you to
formulate the associativity and unitality for the hom composition very nicely in
terms of associativity of the action.


If you want to consider more general (not necessarily co/tensored)
$\mathscr{V}$-enriched categories, you can pass to a weaker form of
enrichment by relaxing the closed $\mathscr{V}$-module structure to a
simple (weak) $\mathscr{V}$-module structure (viewing $\mathscr{V}$ as
a weak monoid in the monoidal $2$-categories of categories); this
corresponds to enriching over the category of presheaves on
$\mathscr{V}$. Then the $\mathscr{V}$-enrichment is a condition of
representability of the action.


I do not know a reference for this story for $1$-categories, but it is
essentially what I understand of the construction in [Definitions
4.2.1.25 and 4.2.1.28 of Lurie's *Higher
algebra*](http://people.math.harvard.edu/%7Elurie/papers/HA.pdf#theorem.4.2.1.25)
and the explanations in the introduction of [Heine's "An equivalence
between enriched $\infty$-categories and $\infty$-categories with weak
action"](https://arxiv.org/abs/2009.02428) which compares these two
points of view on enriched $(\infty,1)$-categories.


