Explore relationships

Cartesian closed categories

In category theory, a category is Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with a morphism defined on one of the factors.

Use + to expand a branch. Click a topic name to open its summary.