A closed category is a category that has Exponentiation (Category Theory). References https://ncatlab.org/nlab/show/closed+category