# Closed category

A category $\mathfrak{M}$ is said to be closed if a bifunctor $\otimes: \mathfrak{M} \times \mathfrak{M} \rightarrow \mathfrak{M}$ (see Functor) and a distinguished object $I$ are given on it, and if it admits natural isomorphisms $$\alpha_{ABC} : (A \otimes B) \otimes C \rightarrow A \otimes (B \otimes C)\ \ \ \text{associativity,}$$ $$\lambda_A : I \otimes A \rightarrow A\ \ \ \text{left identity,}$$ $$\rho_A : A \otimes I \rightarrow A\ \ \ \text{right identity,}$$ $$\kappa_{AB} : A \otimes B \rightarrow B \otimes A\ \ \ \text{commutativity,}$$ such that the following conditions are satisfied: 1) the natural isomorphisms $\alpha, \lambda, \rho, \kappa$ are coherent; and 2) every functor $$H_{AB}(X) = H_{\mathfrak{M}}(A\otimes X,B) : \mathfrak{M} \rightarrow \mathsf{Set}$$ where $\mathsf{Set}$ is the category of sets, is representable. The representing objects are usually denoted by $\mathrm{Hom}_{\mathfrak{M}}(A,B)$, and they can be regarded as the values of the bifunctor $\mathrm{Hom}_{\mathfrak{M}}:\mathfrak{M}^* \times \mathfrak{M} \rightarrow \mathfrak{M}$ (the internal Hom-functor) on objects. If the bifunctor $\otimes$ coincides with a product and $I$ is a right zero (terminal object) of $\mathfrak{M}$, then $\mathfrak{M}$ is called a Cartesian-closed category.