The multicategory of Waldhausen categories is “enriched over itself”: the Hom-set of k-exact functors can be given a Waldhausen category structure by letting the morphisms be natural transformations, and cofibrations/weak equivalences be levelwise. With this construction, k-fold composition is a k-exact functor

Hom(Ek−1,Ek)×⋯×Hom(E0,E1)⟶Hom(E0,Ek).

(It also works for general composition, not just on the 1-level, but I thought that writing that out here would not be worthwhile.)This does not seem to be (a) new or (b) an example of a new construction, but I am having trouble finding references for it. Can anyone help?

**Answer**

It might be helpful to look up the notion of **closed multicategory**. I have the feeling that this is present more in folklore than in print (always a frustrating thing to hear). My impression is that the idea was first properly understood during the writing of

Martin Hyland, John Power, Pseudo-commutative monads and pseudo-closed 2-categories,

Journal of Pure and Applied Algebra175 (2002), 141-185.

However, the paper is written in greater generality, and the theory you need might not be totally apparent. A later paper is:

Oleksandr Manzyuk, Closed categories vs. closed multicategories, arXiv:0904.3137.

I haven’t read that.

Both build on the idea of **closed category**, introduced by Eilenberg and Kelly. (See either paper for the citation.) Whereas *monoidal* closed categories are equipped with a tensor product ⊗, a unit object I, and internal homs [−,−], closed categories don’t have the tensor product.

**Attribution***Source : Link , Question Author : Inna , Answer Author : Tom Leinster*