A category C is locally cartesian closed if C has all finite limits C has exponentials Alternatively, C is LCCC if, All slice categories, C/x are cartesian closed