In this talk I will recall Ehresmann's notion of double category, examine several examples, and sketch a 2-equivalence between double categories with folding and certain pseudo algebras. This equivalence can be viewed as a generalization of some results of R. Brown and collaborators. These double structures arise naturally when one categorifies the notion of category to the notion of pseudo algebra over the 2-theory of categories as in the context of conformal field theory.