Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose I define a multicategory $M=(Ob(M),Hom_M)$ to be simply closed if

  • for every sequence $S=(b_1,\ldots,b_n;x)$ of $n+1$ objects in $M$, we provide an object $Exp(S)\in Ob(M)$, and
  • for every sequence $A=(a_1,\ldots,a_m)$ of $m$ objects in $M$ we provide a bijection $$\phi_S^A\colon Hom_M(a_1,\ldots,a_m,b_1,\ldots,b_n;x)\to Hom_M(a_1,\ldots,a_m;Exp(b_1,\ldots,b_n;x)),$$

subject to the condition below, for any object $x\in Ob(M)$. Fix such an object $x\in Ob(M)$ and let $X:=Exp(;x)\in Ob(M)$. (Apologies: fixing $x$ and introducing $X$ is done here only for typographical reasons: mathjax was having trouble rendering.) We name a "constant element" $c_x\in Hom_M(x;X)$ by setting $A=(x)$ and $S=(;x)$, so $\phi^A_S\colon Hom_M(x;x)\to Hom_M(x;X)$, and putting $$c_x:=\phi^{(x)}_{(;x)}(id_x)\in Hom_M(x;X).$$ We also name an "evaluation element" by setting $A=(X)$ and $S=(;x)$, so $(\phi^A_S)^{-1}\colon Hom(X;X)\to Hom(X;x)$, and putting $$e_x:=\left(\phi^{(X)}_{(;x)}\right)^{-1} (id_X)\in Hom_M(X;x).$$ Then our condition is that the constant element and the evaluation element for $x$ are mutually inverse in the sense that $$c_x\circ e_x=id_X \;\;\;\;\;\;\text{ and }\;\;\;\;\;\; e_x\circ c_x= id_x$$ in $M$.

As alluded to above, we obtain an ``evaluation map" as an element $ev\in Hom_M(Exp(A;x),A;x)$, coming as $\phi^{-1}(id)$, where $id$ is the identity element $id\in Hom_M(Exp(A;x),Exp(A;x))$.

The multicategory of sets is simply closed in this sense.

What problems exist for, and/or what niceties are missing from, this notion of "simply closed multicategory"?

share|improve this question
add comment

2 Answers

up vote 3 down vote accepted

In fact, if you include naturality, then your second condition becomes automatic, and moreover it suffices to consider $n=1$. See e.g. section 3 of this paper.

share|improve this answer
add comment

What an interesting question! I have never thought about such exponents before.

Nevertheless, I think you miss more coherence conditions to make exponents behave well. Take for example a category with finite products. It corresponds to a multicategory with the same objects and with arrows $a_1, \dotsc, a_n \rightarrow x$ interpreted as arrows $a_1 \times \cdots \times a_n \rightarrow x$. The bijections: $$\phi_S^A\colon \hom(a_1,\dotsc,a_m,b_1,\dotsc,b_n;x)\to \hom(a_1,\dotsc,a_m;\mathit{Exp}(b_1,\dotsc,b_n;x))$$ turn into bijections: $$\hom(a_1 \times \dotsc \times a_m \times b_1 \times \cdots \times b_n;x)\to \hom(a_1 \times\cdots \times a_m;x^{b_1 \times \cdots \times b_n})$$ A category is cartesian closed precisely when the above bjiections are natural in $a_i$'s. I guess this naturality condition is really what you miss. Your "constant" elements $c_x\in \hom(x;\mathit{Exp}(;x)))$ correspond to isomorphisms $x \rightarrow x^1$ with evaluations $x^1 \approx x^1 \times 1 \rightarrow x$ being their inverses - but this does not help much.

Here is an explicit example what can go wrong --- consider the category of $\omega$-sets (or Hyland's effective topos if you wish) and a classical set $X$ as an object in the category. Almost by definition $X \not\approx X \sqcup 1$. However, if $X$ is infinite, then $\hom(A, X) \approx \hom(A, X \sqcup 1)$ for every $\omega$-set $A$. This means that according to the above definition both $X \times X$ and $(X \times X) \sqcup 1$ are candidates for an exponent of $1 \sqcup 1$ with the classical infinite set $X$, though are not isomorphic.

Perhaps a more elementary reformulation of simple exponents would be "by universal arrows". However, I do not see how one could give an external (that is 2-categorical, or 2-multicategorical) characterisation of such exponents!

share|improve this answer
    
Thanks Michael. Are you only insisting that my $Exp(S)$'s be functorial and that my $\phi^A_S$'s be natural, because of course I'd agree. But are you saying that it would be difficult to phrase this functoriality/naturality? In your explicit example are you saying "being isomorphic" is not a good condition; we need naturality? Or are you saying more? I do understand the value of naturality of course, and it was only by carelessness that I left it out of my question. Of course, it's an important catch, and I'd only be concerned if it didn't appear to be follow-your-nose fixable. –  David Spivak Jan 8 '13 at 15:03
    
Hi David, I only meant two things: that naturality in $a_i$ is essential; and that it would be much easier to judge whether this is “the right” definition of exponents if we knew an external characterization of them --- i.e. saying that $\mathit{Exp}$ is a universal (multi)morphism of multicategories satisfying some properties. –  Michal R. Przybylek Jan 9 '13 at 18:23
add comment

Your Answer

 
discard

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.