  This paper defines double fibrations (fibrations of double categories) and
describes their key examples and properties. In particular, it shows how double
fibrations relate to existing fibrational notions such as monoidal fibrations
and discrete double fibrations, proves a representation theorem for double
fibrations, and shows how double fibrations are a type of internal fibration.
