nLab
proto-fibration

See the slides about “downcasing types” at this link - especially the pages called “Cartesianness (2)” and “Cleavages”.

Created on July 4, 2010 16:51:07 by Eduardo Ochs (201.19.97.78)