Locally cartesian closed category

From Free net encyclopedia