En teoría de categorías, una categoría es cartesiana cerrada si existen en ella un objeto final, todos los productos binarios y un objeto exponencial.
Son especialmente importantes importantes en lógica matemática y en la teoría de los lenguajes de programación, en tanto que el lenguaje interno de las categorías cartesianas cerradas es el cálculo lambda simplemente tipado.
Las categorías monoidales cerradas son una generalización, y su lenguaje interno es útil para modelar tanto la computación cuántica como la clásica.
[1] Una categoría
se dice cartesiana cerrada[2] si