Cartesian closed category
Examples

Examples of Cartesian closed categories include:

Examples of locally Cartesian closed categories include:

Non-examples of locally Cartesian closed categories include:
detectable_content:postscript