CatGloss

A category $\mathscr{A}$ is cartesian closed if it has finite products and for each $B \in \mathscr{A}$, the functor

\[-\times B: \mathscr{A} \to \mathscr{A}\]

has a right adjoint.

This site is open source. Improve this page.