Concept

Cartesian closed category

Overview

Type of category in category theory

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Finite set
• Intuitionistic logic
• Function (mathematics)
• Group (mathematics)
• Mathematical logic
• Intersection (set theory)
• René Descartes
• Set (mathematics)
• Set theory
• Morphism
• Topological space
• Bijection
• Computer science
• Category theory
• Currying
• Categories for the Working Mathematician

Place in the tradition

Part of Type theory.

Explore Cartesian closed category in the interactive graph →