nLab
locally cartesian closed functor

Revised on December 16, 2011 01:12:19 by Urs Schreiber (82.169.65.155)