MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I know this question may seem nonsensical at first but let me exlain what i have in mind:

In enriched category theory we define categories enriched over a monoidal category $(\mathcal{V},\otimes, I)$. An enriched category then is given by a set/class of objects $\mathcal C$ and a rule assigning to every pair $X,Y$ of such objects a hom-object $[X,Y]$. Furthermore we define composition and identities using $\otimes$ and $I$, remodelling the definitions of usual category theory.

Now for the question: Can we go the other way around?

Let's stick to internal homs for the beginning: Given a category $\mathcal V$ ; can say what additional data turn a functor $$[-,-]:\mathcal{V}^{\mathrm{op}}\times\mathcal V\to \mathcal V$$ into something like an internal hom?

In the case of $[X,-]$ having a left adjoint $-\otimes X$ for every $X$, these additional data should result in $(\mathcal V,\otimes)$ becomming a closed monoidal category with internal hom isomorphic to $[-,-]$.

share|cite|improve this question
up vote 9 down vote accepted

This is exactly the notion of a closed category. See Eilenberg and Kelly's article in the 1965 La Jolla proceedings (Springer 1966). I think they also describe categories enriched in a closed category.

share|cite|improve this answer
If I recall correctly, La Plaza showed that every closed category in this sense can be fully and faithfully embedded in a monoidal closed category in a way respecting the closed structure. – Todd Trimble Oct 25 '11 at 19:08
thanks for the super-fast answer! – Garlef Wegart Oct 25 '11 at 19:23
The Laplaza paper is in Trans. AMS 233, 1977. – Finn Lawler Oct 25 '11 at 19:36

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.