pub const DblYonedaTheory: ();
Reference: Yoneda theory for double categories.
Paré, 2011: Yoneda theory for double categories.